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


(domain roomTempState 2 PhysicalState) Mid-level-ontology.kif 31674-31674 Le nombre 2 argument de roomTempState est une instance de �tat physique
(domainSubclass roomTempState 1 Substance) Mid-level-ontology.kif 31675-31675 Le nombre 1 argument de roomTempState est une sous-classe de substance
(instance roomTempState BinaryPredicate) Mid-level-ontology.kif 31676-31676 roomTempState est une instance de pr�dicat binaire

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

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


(roomTempState AbrinToxin Solid) Mid-level-ontology.kif 31557-31557 roomTempState AbrinToxin and Solid
(roomTempState Absolut Liquid) Mid-level-ontology.kif 31440-31440 roomTempState Absolut and Liquid
(roomTempState Actinium Solid) Mid-level-ontology.kif 31539-31539 roomTempState Actinium and Solid
(roomTempState Alcohol Liquid) Mid-level-ontology.kif 31558-31558 roomTempState Alcohol and Liquid
(roomTempState AlcoholicBeverage Liquid) Mid-level-ontology.kif 31421-31421 roomTempState AlcoholicBeverage and Liquid
(roomTempState Aldosterone Liquid) Mid-level-ontology.kif 31559-31559 roomTempState Aldosterone and Liquid
(roomTempState Alkaloid Liquid) Mid-level-ontology.kif 31560-31560 roomTempState Alkaloid and Liquid
(roomTempState Alumina Solid) Mid-level-ontology.kif 31561-31561 roomTempState Alumina and Solid
(roomTempState Aluminum Solid) Mid-level-ontology.kif 31463-31463 roomTempState Aluminum and Solid
(roomTempState Amaretto Liquid) Mid-level-ontology.kif 31428-31428 roomTempState Amaretto and Liquid
(roomTempState Americium Solid) Mid-level-ontology.kif 31545-31545 roomTempState Americium and Solid
(roomTempState AminoAcid Liquid) Mid-level-ontology.kif 31562-31562 roomTempState AminoAcid and Liquid
(roomTempState Amphetamine Solid) Mid-level-ontology.kif 31563-31563 roomTempState Amphetamine and Solid
(roomTempState AnimalFat Solid) Food.kif 2872-2872 roomTempState AnimalFat and Solid
(roomTempState Antimony Solid) Mid-level-ontology.kif 31501-31501 roomTempState Antimony and Solid
(roomTempState Aperitif Liquid) Mid-level-ontology.kif 31425-31425 roomTempState Aperitif and Liquid
(roomTempState Argon Gas) Mid-level-ontology.kif 31468-31468 roomTempState Argon and Gas
(roomTempState Arsenic Solid) Mid-level-ontology.kif 31483-31483 roomTempState Arsenic and Solid
(roomTempState Arsine Gas) Mid-level-ontology.kif 31556-31556 roomTempState Arsine and Gas
(roomTempState Asbestos Solid) Mid-level-ontology.kif 31564-31564 roomTempState Asbestos and Solid
(roomTempState Astatine Solid) Mid-level-ontology.kif 31535-31535 roomTempState Astatine and Solid
(roomTempState Atropine Liquid) Mid-level-ontology.kif 31565-31565 roomTempState Atropine and Liquid
(roomTempState BZGas Gas) Mid-level-ontology.kif 31571-31571 roomTempState BZGas and Gas
(roomTempState Bacardi Liquid) Mid-level-ontology.kif 31436-31436 roomTempState Bacardi and Liquid
(roomTempState Bacitracin Liquid) 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 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