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
(domainSubclass roomTempState 1 Substance) Mid-level-ontology.kif 31675-31675
(instance roomTempState BinaryPredicate) Mid-level-ontology.kif 31676-31676

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

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