Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ClassificationScheme
ClassificationScheme

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22826-22828
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10638-10638
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10639-10639
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9943-9943
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10636-10636
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22825-22825 ClassificationScheme e' uma sub-classe de Proposicao

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2233-2233 CodeMap e' uma sub-classe de ClassificationScheme
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22851-22851 Ontology e' uma sub-classe de ClassificationScheme
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22830-22830 Taxonomy e' uma sub-classe de ClassificationScheme
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15048-15048
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15047-15047
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15046-15046


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners