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

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 Absolut Liquid) Mid-level-ontology.kif 31472-31472
(roomTempState Actinium Solid) Mid-level-ontology.kif 31571-31571
(roomTempState Alcohol Liquid) Mid-level-ontology.kif 31590-31590
(roomTempState AlcoholicBeverage Liquid) Mid-level-ontology.kif 31453-31453
(roomTempState Aldosterone Liquid) Mid-level-ontology.kif 31591-31591
(roomTempState Alkaloid Liquid) Mid-level-ontology.kif 31592-31592
(roomTempState Alumina Solid) Mid-level-ontology.kif 31593-31593
(roomTempState Aluminum Solid) Mid-level-ontology.kif 31495-31495
(roomTempState Amaretto Liquid) Mid-level-ontology.kif 31460-31460
(roomTempState Americium Solid) Mid-level-ontology.kif 31577-31577
(roomTempState AminoAcid Liquid) Mid-level-ontology.kif 31594-31594
(roomTempState Amphetamine Solid) Mid-level-ontology.kif 31595-31595
(roomTempState AnimalFat Solid) Food.kif 2872-2872
(roomTempState Antimony Solid) Mid-level-ontology.kif 31533-31533
(roomTempState Aperitif Liquid) Mid-level-ontology.kif 31457-31457
(roomTempState Argon Gas) Mid-level-ontology.kif 31500-31500
(roomTempState Arsenic Solid) Mid-level-ontology.kif 31515-31515
(roomTempState Arsine Gas) Mid-level-ontology.kif 31588-31588
(roomTempState Asbestos Solid) Mid-level-ontology.kif 31596-31596
(roomTempState Astatine Solid) Mid-level-ontology.kif 31567-31567
(roomTempState Atropine Liquid) Mid-level-ontology.kif 31597-31597
(roomTempState BZGas Gas) Mid-level-ontology.kif 31603-31603
(roomTempState Bacardi Liquid) Mid-level-ontology.kif 31468-31468
(roomTempState Bacitracin Liquid) Mid-level-ontology.kif 31598-31598

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