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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LiquorShot

 Sigma KEE - Physics
Physics(physics)
more pictures...		electrostatics, natural_philosophy, physical, physical_science, physics, quantum_physics

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21273-21273
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 21272-21272 Physics is a subclass of science

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21292-21292 Electronics is a sub-field of physics
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21302-21302 Mechanics is a sub-field of physics
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45750-45750
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45749-45749
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45748-45748

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