allotrope-foundation
/
aft
/
Login
Register
TriplyDB
Allotrope Foundation Taxonomy of universals (AFT)
Browser
Table
SPARQL
Graphs
1
1
Services
1
1
Assets
0
0
Insights
Schema
BETA
Class frequency
Class hierarchy
mathematical object
mathematical object
Class
http://purl.allotrope.org/ontologies/result#AFR_0001054
collection
item
tensor datum
function (math)
formula (math)
subClassOf
mathematical object
Class
http://purl.allotrope.org/ontologies/result#AFR_0001054
AFX_0002818
http://www.w3.org/2001/XMLSchema#boolean
source
Mathematical_object
type
Class
subClassOf
information content entity
altLabel
abstract object
http://www.w3.org/2001/XMLSchema#string
definition
A mathematical object is an in
......
thematical proofs. [Allotrope]
http://www.w3.org/2001/XMLSchema#string
prefLabel
mathematical object
http://www.w3.org/2001/XMLSchema#string