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

Formal Language: 



KB Term:  Term intersection
English Word: 

  roomTempState

 Sigma KEE - roomTempState
roomTempState

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31670-31670 O argumento numero 2 de roomTempState e' uma instancia de Estado Fisico
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31671-31671 O argumento numero 1 de roomTempState e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31672-31672 roomTempState e' uma instancia de Predicado Binario

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31674-31685

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31553-31553 roomTempState AbrinToxin and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31436-31436 roomTempState Absolut and Liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31535-31535 roomTempState Actinium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31554-31554 roomTempState Alcohol and Liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31417-31417 roomTempState AlcoholicBeverage and Liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31555-31555 roomTempState Aldosterone and Liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31556-31556 roomTempState Alkaloid and Liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31557-31557 roomTempState Alumina and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31459-31459 roomTempState Aluminum and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31424-31424 roomTempState Amaretto and Liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31541-31541 roomTempState Americium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31558-31558 roomTempState AminoAcid and Liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31559-31559 roomTempState Amphetamine and Solid
No TPTP formula. May not be expressible in strict first order. Food.kif 2872-2872 roomTempState AnimalFat and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31497-31497 roomTempState Antimony and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31421-31421 roomTempState Aperitif and Liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31464-31464 roomTempState Argon and Gas
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31479-31479 roomTempState Arsenic and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31552-31552 roomTempState Arsine and Gas
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31560-31560 roomTempState Asbestos and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31531-31531 roomTempState Astatine and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31561-31561 roomTempState Atropine and Liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31567-31567 roomTempState BZGas and Gas
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31432-31432 roomTempState Bacardi and Liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31562-31562 roomTempState Bacitracin and Liquid

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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