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 31781-31781 The number 2 argument of roomTempState is an instance of physical state
(domainSubclass roomTempState 1 Substance) Mid-level-ontology.kif 31782-31782 The number 1 argument of roomTempState is a subclass of substance
(instance roomTempState BinaryPredicate) Mid-level-ontology.kif 31783-31783 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 31785-31796

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


(roomTempState AbrinToxin Solid) Mid-level-ontology.kif 31664-31664 roomTempState abrin toxin and solid
(roomTempState Absolut Liquid) Mid-level-ontology.kif 31545-31545 roomTempState Absolut and liquid
(roomTempState Actinium Solid) Mid-level-ontology.kif 31646-31646 roomTempState actinium and solid
(roomTempState Alcohol Liquid) Mid-level-ontology.kif 31665-31665 roomTempState alcohol and liquid
(roomTempState AlcoholicBeverage Liquid) Mid-level-ontology.kif 31526-31526 roomTempState alcoholic beverage and liquid
(roomTempState Aldosterone Liquid) Mid-level-ontology.kif 31666-31666 roomTempState aldosterone and liquid
(roomTempState Alkaloid Liquid) Mid-level-ontology.kif 31667-31667 roomTempState alkaloid and liquid
(roomTempState Alumina Solid) Mid-level-ontology.kif 31668-31668 roomTempState alumina and solid
(roomTempState Aluminum Solid) Mid-level-ontology.kif 31570-31570 roomTempState aluminum and solid
(roomTempState Amaretto Liquid) Mid-level-ontology.kif 31533-31533 roomTempState amaretto and liquid
(roomTempState Americium Solid) Mid-level-ontology.kif 31652-31652 roomTempState americium and solid
(roomTempState AminoAcid Liquid) Mid-level-ontology.kif 31669-31669 roomTempState amino acid and liquid
(roomTempState Amphetamine Solid) Mid-level-ontology.kif 31670-31670 roomTempState amphetamine and solid
(roomTempState Antimony Solid) Mid-level-ontology.kif 31608-31608 roomTempState antimony and solid
(roomTempState Aperitif Liquid) Mid-level-ontology.kif 31530-31530 roomTempState aperitif and liquid
(roomTempState Argon Gas) Mid-level-ontology.kif 31575-31575 roomTempState argon and gas
(roomTempState Arsenic Solid) Mid-level-ontology.kif 31590-31590 roomTempState arsenic and solid
(roomTempState Arsine Gas) Mid-level-ontology.kif 31663-31663 roomTempState arsine and gas
(roomTempState Asbestos Solid) Mid-level-ontology.kif 31671-31671 roomTempState asbestos and solid
(roomTempState Astatine Solid) Mid-level-ontology.kif 31642-31642 roomTempState astatine and solid
(roomTempState Atropine Liquid) Mid-level-ontology.kif 31672-31672 roomTempState atropine and liquid
(roomTempState BZGas Gas) Mid-level-ontology.kif 31678-31678 roomTempState BZ gas and gas
(roomTempState Bacardi Liquid) Mid-level-ontology.kif 31541-31541 roomTempState Bacardi and liquid
(roomTempState Bacitracin Liquid) Mid-level-ontology.kif 31673-31673 roomTempState bacitracin and liquid
(roomTempState Baileys Liquid) Mid-level-ontology.kif 31534-31534 roomTempState Baileys 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