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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - roomTempState
roomTempState

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31674-31674 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 31675-31675 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 31676-31676 roomTempState is an instance of binary predicate

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31557-31557 roomTempState abrin toxin and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31440-31440 roomTempState Absolut and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31539-31539 roomTempState actinium and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31558-31558 roomTempState alcohol and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31421-31421 roomTempState alcoholic beverage and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31559-31559 roomTempState aldosterone and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31560-31560 roomTempState alkaloid and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31561-31561 roomTempState alumina and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31463-31463 roomTempState aluminum and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31428-31428 roomTempState amaretto and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31545-31545 roomTempState americium and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31562-31562 roomTempState amino acid and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31563-31563 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 31501-31501 roomTempState antimony and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31425-31425 roomTempState aperitif and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31468-31468 roomTempState argon and gas
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31483-31483 roomTempState arsenic and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31556-31556 roomTempState arsine and gas
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31564-31564 roomTempState asbestos and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31535-31535 roomTempState astatine and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31565-31565 roomTempState atropine and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31571-31571 roomTempState BZ gas and gas
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31436-31436 roomTempState Bacardi and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31566-31566 roomTempState bacitracin and liquid

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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



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