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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mechanics
Mechanics

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21331-21333
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9421-9421
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8593-8593
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9420-9420
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9419-9419
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21328-21328 subField Mechanics and Mathematics
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21329-21329 subField Mechanics and Physics
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21330-21330 Mechanics e' uma sub-classe de Campo de Estudos

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36755-36755
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36754-36754
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36753-36753


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