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
-------------------------


(domain roomTempState 2 PhysicalState) Mid-level-ontology.kif 31706-31706 The number 2 argument of roomTempState is an instance of physical state
(domainSubclass roomTempState 1 Substance) Mid-level-ontology.kif 31707-31707 The number 1 argument of roomTempState is a subclass of substance
(instance roomTempState BinaryPredicate) Mid-level-ontology.kif 31708-31708 roomTempState is an instance of binary predicate

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


(=>
    (and
        (roomTempState ?C ?PS)
        (instance ?S ?C)
        (holdsDuring ?T
            (roomTempState ?C Liquid))
        (measure ?S
            (MeasureFn 101
                (KiloFn Pascal))))
    (holdsDuring ?T
        (measure ?S
            (MeasureFn 68 FahrenheitDegree))))
Mid-level-ontology.kif 31710-31721

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


(roomTempState AbrinToxin Solid) Mid-level-ontology.kif 31589-31589 roomTempState abrin toxin and solid
(roomTempState Absolut Liquid) Mid-level-ontology.kif 31472-31472 roomTempState Absolut and liquid
(roomTempState Actinium Solid) Mid-level-ontology.kif 31571-31571 roomTempState actinium and solid
(roomTempState Alcohol Liquid) Mid-level-ontology.kif 31590-31590 roomTempState alcohol and liquid
(roomTempState AlcoholicBeverage Liquid) Mid-level-ontology.kif 31453-31453 roomTempState alcoholic beverage and liquid
(roomTempState Aldosterone Liquid) Mid-level-ontology.kif 31591-31591 roomTempState aldosterone and liquid
(roomTempState Alkaloid Liquid) Mid-level-ontology.kif 31592-31592 roomTempState alkaloid and liquid
(roomTempState Alumina Solid) Mid-level-ontology.kif 31593-31593 roomTempState alumina and solid
(roomTempState Aluminum Solid) Mid-level-ontology.kif 31495-31495 roomTempState aluminum and solid
(roomTempState Amaretto Liquid) Mid-level-ontology.kif 31460-31460 roomTempState amaretto and liquid
(roomTempState Americium Solid) Mid-level-ontology.kif 31577-31577 roomTempState americium and solid
(roomTempState AminoAcid Liquid) Mid-level-ontology.kif 31594-31594 roomTempState amino acid and liquid
(roomTempState Amphetamine Solid) Mid-level-ontology.kif 31595-31595 roomTempState amphetamine and solid
(roomTempState AnimalFat Solid) Food.kif 2872-2872 roomTempState animal fat and solid
(roomTempState Antimony Solid) Mid-level-ontology.kif 31533-31533 roomTempState antimony and solid
(roomTempState Aperitif Liquid) Mid-level-ontology.kif 31457-31457 roomTempState aperitif and liquid
(roomTempState Argon Gas) Mid-level-ontology.kif 31500-31500 roomTempState argon and gas
(roomTempState Arsenic Solid) Mid-level-ontology.kif 31515-31515 roomTempState arsenic and solid
(roomTempState Arsine Gas) Mid-level-ontology.kif 31588-31588 roomTempState arsine and gas
(roomTempState Asbestos Solid) Mid-level-ontology.kif 31596-31596 roomTempState asbestos and solid
(roomTempState Astatine Solid) Mid-level-ontology.kif 31567-31567 roomTempState astatine and solid
(roomTempState Atropine Liquid) Mid-level-ontology.kif 31597-31597 roomTempState atropine and liquid
(roomTempState BZGas Gas) Mid-level-ontology.kif 31603-31603 roomTempState BZ gas and gas
(roomTempState Bacardi Liquid) Mid-level-ontology.kif 31468-31468 roomTempState Bacardi and liquid
(roomTempState Bacitracin Liquid) 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 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