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 31972-31972 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 31973-31973 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 31974-31974 roomTempState e' uma instancia de Predicado Binario

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31855-31855 roomTempState AbrinToxin and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31738-31738 roomTempState Absolut and Liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31837-31837 roomTempState Actinium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31856-31856 roomTempState Alcohol and Liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31719-31719 roomTempState AlcoholicBeverage and Liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31857-31857 roomTempState Aldosterone and Liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31858-31858 roomTempState Alkaloid and Liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31859-31859 roomTempState Alumina and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31761-31761 roomTempState Aluminum and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31726-31726 roomTempState Amaretto and Liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31843-31843 roomTempState Americium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31860-31860 roomTempState AminoAcid and Liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31861-31861 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 31799-31799 roomTempState Antimony and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31723-31723 roomTempState Aperitif and Liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31766-31766 roomTempState Argon and Gas
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31781-31781 roomTempState Arsenic and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31854-31854 roomTempState Arsine and Gas
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31862-31862 roomTempState Asbestos and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31833-31833 roomTempState Astatine and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31863-31863 roomTempState Atropine and Liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31869-31869 roomTempState BZGas and Gas
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31734-31734 roomTempState Bacardi and Liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31864-31864 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