Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - roomTempState

appearance as argument number 1

(domain roomTempState 2 PhysicalState) Mid-level-ontology.kif 31590-31590
(domainSubclass roomTempState 1 Substance) Mid-level-ontology.kif 31591-31591
(instance roomTempState BinaryPredicate) Mid-level-ontology.kif 31592-31592


        (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 31594-31605

appearance as argument number 0

(roomTempState AbrinToxin Solid) Mid-level-ontology.kif 31473-31473
(roomTempState Absolut Liquid) Mid-level-ontology.kif 31356-31356
(roomTempState Actinium Solid) Mid-level-ontology.kif 31455-31455
(roomTempState Alcohol Liquid) Mid-level-ontology.kif 31474-31474
(roomTempState AlcoholicBeverage Liquid) Mid-level-ontology.kif 31337-31337
(roomTempState Aldosterone Liquid) Mid-level-ontology.kif 31475-31475
(roomTempState Alkaloid Liquid) Mid-level-ontology.kif 31476-31476
(roomTempState Alumina Solid) Mid-level-ontology.kif 31477-31477
(roomTempState Aluminum Solid) Mid-level-ontology.kif 31379-31379
(roomTempState Amaretto Liquid) Mid-level-ontology.kif 31344-31344
(roomTempState Americium Solid) Mid-level-ontology.kif 31461-31461
(roomTempState AminoAcid Liquid) Mid-level-ontology.kif 31478-31478
(roomTempState Amphetamine Solid) Mid-level-ontology.kif 31479-31479
(roomTempState AnimalFat Solid) Food.kif 1378-1378
(roomTempState Antimony Solid) Mid-level-ontology.kif 31417-31417
(roomTempState Aperitif Liquid) Mid-level-ontology.kif 31341-31341
(roomTempState Argon Gas) Mid-level-ontology.kif 31384-31384
(roomTempState Arsenic Solid) Mid-level-ontology.kif 31399-31399
(roomTempState Arsine Gas) Mid-level-ontology.kif 31472-31472
(roomTempState Asbestos Solid) Mid-level-ontology.kif 31480-31480
(roomTempState Astatine Solid) Mid-level-ontology.kif 31451-31451
(roomTempState Atropine Liquid) Mid-level-ontology.kif 31481-31481
(roomTempState BZGas Gas) Mid-level-ontology.kif 31487-31487
(roomTempState Bacardi Liquid) Mid-level-ontology.kif 31352-31352
(roomTempState Bacitracin Liquid) Mid-level-ontology.kif 31482-31482

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