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 31939-31939 The number 2 argument of roomTempState is an instance of physical state
(domainSubclass roomTempState 1 Substance) Mid-level-ontology.kif 31940-31940 The number 1 argument of roomTempState is a subclass of substance
(instance roomTempState BinaryPredicate) Mid-level-ontology.kif 31941-31941 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 31943-31954

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


(roomTempState AbrinToxin Solid) Mid-level-ontology.kif 31822-31822 roomTempState abrin toxin and solid
(roomTempState Absolut Liquid) Mid-level-ontology.kif 31705-31705 roomTempState Absolut and liquid
(roomTempState Actinium Solid) Mid-level-ontology.kif 31804-31804 roomTempState actinium and solid
(roomTempState Alcohol Liquid) Mid-level-ontology.kif 31823-31823 roomTempState alcohol and liquid
(roomTempState AlcoholicBeverage Liquid) Mid-level-ontology.kif 31686-31686 roomTempState alcoholic beverage and liquid
(roomTempState Aldosterone Liquid) Mid-level-ontology.kif 31824-31824 roomTempState aldosterone and liquid
(roomTempState Alkaloid Liquid) Mid-level-ontology.kif 31825-31825 roomTempState alkaloid and liquid
(roomTempState Alumina Solid) Mid-level-ontology.kif 31826-31826 roomTempState alumina and solid
(roomTempState Aluminum Solid) Mid-level-ontology.kif 31728-31728 roomTempState aluminum and solid
(roomTempState Amaretto Liquid) Mid-level-ontology.kif 31693-31693 roomTempState amaretto and liquid
(roomTempState Americium Solid) Mid-level-ontology.kif 31810-31810 roomTempState americium and solid
(roomTempState AminoAcid Liquid) Mid-level-ontology.kif 31827-31827 roomTempState amino acid and liquid
(roomTempState Amphetamine Solid) Mid-level-ontology.kif 31828-31828 roomTempState amphetamine and solid
(roomTempState AnimalFat Solid) Food.kif 2872-2872 roomTempState animal fat and solid
(roomTempState Antimony Solid) Mid-level-ontology.kif 31766-31766 roomTempState antimony and solid
(roomTempState Aperitif Liquid) Mid-level-ontology.kif 31690-31690 roomTempState aperitif and liquid
(roomTempState Argon Gas) Mid-level-ontology.kif 31733-31733 roomTempState argon and gas
(roomTempState Arsenic Solid) Mid-level-ontology.kif 31748-31748 roomTempState arsenic and solid
(roomTempState Arsine Gas) Mid-level-ontology.kif 31821-31821 roomTempState arsine and gas
(roomTempState Asbestos Solid) Mid-level-ontology.kif 31829-31829 roomTempState asbestos and solid
(roomTempState Astatine Solid) Mid-level-ontology.kif 31800-31800 roomTempState astatine and solid
(roomTempState Atropine Liquid) Mid-level-ontology.kif 31830-31830 roomTempState atropine and liquid
(roomTempState BZGas Gas) Mid-level-ontology.kif 31836-31836 roomTempState BZ gas and gas
(roomTempState Bacardi Liquid) Mid-level-ontology.kif 31701-31701 roomTempState Bacardi and liquid
(roomTempState Bacitracin Liquid) Mid-level-ontology.kif 31831-31831 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