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 31706-31706 The number 2 argument of roomTempState is an instance of physical state
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31707-31707 The number 1 argument of roomTempState is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31708-31708 roomTempState is an instance of binary predicate

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31589-31589 roomTempState abrin toxin and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31472-31472 roomTempState Absolut and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31571-31571 roomTempState actinium and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31590-31590 roomTempState alcohol and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31453-31453 roomTempState alcoholic beverage and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31591-31591 roomTempState aldosterone and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31592-31592 roomTempState alkaloid and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31593-31593 roomTempState alumina and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31495-31495 roomTempState aluminum and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31460-31460 roomTempState amaretto and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31577-31577 roomTempState americium and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31594-31594 roomTempState amino acid and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31595-31595 roomTempState amphetamine and solid
No TPTP formula. May not be expressible in strict first order. Food.kif 2872-2872 roomTempState animal fat and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31533-31533 roomTempState antimony and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31457-31457 roomTempState aperitif and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31500-31500 roomTempState argon and gas
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31515-31515 roomTempState arsenic and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31588-31588 roomTempState arsine and gas
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31596-31596 roomTempState asbestos and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31567-31567 roomTempState astatine and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31597-31597 roomTempState atropine and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31603-31603 roomTempState BZ gas and gas
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31468-31468 roomTempState Bacardi and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31598-31598 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