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

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

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


(roomTempState AbrinToxin Solid) Mid-level-ontology.kif 31458-31458
(roomTempState Absolut Liquid) Mid-level-ontology.kif 31341-31341
(roomTempState Actinium Solid) Mid-level-ontology.kif 31440-31440
(roomTempState Alcohol Liquid) Mid-level-ontology.kif 31459-31459
(roomTempState AlcoholicBeverage Liquid) Mid-level-ontology.kif 31322-31322
(roomTempState Aldosterone Liquid) Mid-level-ontology.kif 31460-31460
(roomTempState Alkaloid Liquid) Mid-level-ontology.kif 31461-31461
(roomTempState Alumina Solid) Mid-level-ontology.kif 31462-31462
(roomTempState Aluminum Solid) Mid-level-ontology.kif 31364-31364
(roomTempState Amaretto Liquid) Mid-level-ontology.kif 31329-31329
(roomTempState Americium Solid) Mid-level-ontology.kif 31446-31446
(roomTempState AminoAcid Liquid) Mid-level-ontology.kif 31463-31463
(roomTempState Amphetamine Solid) Mid-level-ontology.kif 31464-31464
(roomTempState AnimalFat Solid) Food.kif 2017-2017
(roomTempState Antimony Solid) Mid-level-ontology.kif 31402-31402
(roomTempState Aperitif Liquid) Mid-level-ontology.kif 31326-31326
(roomTempState Argon Gas) Mid-level-ontology.kif 31369-31369
(roomTempState Arsenic Solid) Mid-level-ontology.kif 31384-31384
(roomTempState Arsine Gas) Mid-level-ontology.kif 31457-31457
(roomTempState Asbestos Solid) Mid-level-ontology.kif 31465-31465
(roomTempState Astatine Solid) Mid-level-ontology.kif 31436-31436
(roomTempState Atropine Liquid) Mid-level-ontology.kif 31466-31466
(roomTempState BZGas Gas) Mid-level-ontology.kif 31472-31472
(roomTempState Bacardi Liquid) Mid-level-ontology.kif 31337-31337
(roomTempState Bacitracin Liquid) Mid-level-ontology.kif 31467-31467

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