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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ChairmanInstruction

 Sigma KEE - Physics
Physics
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21300-21300
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7549-7549
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7550-7550
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7551-7551
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7552-7552
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7554-7554
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6767-6767
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7553-7553
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7555-7555
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7556-7556
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21299-21299 Physics e' uma sub-classe de Science

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21319-21319 subField Electronics and Physics
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. domainEnglishFormat.kif 45752-45752
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45751-45751
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45750-45750

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Biography.kif 548-550


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

Show without tree


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