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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - roomTempState
roomTempState

appearance as argument number 1
-------------------------


(domain roomTempState 2 PhysicalState) Mid-level-ontology.kif 33378-33378 The number 2 argument of room temperature state is an instance of physical state
(domainSubclass roomTempState 1 Substance) Mid-level-ontology.kif 33379-33379 The number 1 argument of room temperature state is a subclass of substance
(instance roomTempState BinaryPredicate) Mid-level-ontology.kif 33380-33380 room temperature state is an instance of binary predicate

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage roomTempState "room temperature state") Mid-level-ontology.kif 33381-33381

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

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


(roomTempState AbrinToxin Solid) Mid-level-ontology.kif 33261-33261 room temperature state abrin toxin and solid
(roomTempState Absolut Liquid) Mid-level-ontology.kif 33144-33144 room temperature state Absolut and liquid
(roomTempState Actinium Solid) Mid-level-ontology.kif 33243-33243 room temperature state actinium and solid
(roomTempState Alcohol Liquid) Mid-level-ontology.kif 33262-33262 room temperature state alcohol and liquid
(roomTempState AlcoholicBeverage Liquid) Mid-level-ontology.kif 33125-33125 room temperature state alcoholic beverage and liquid
(roomTempState Aldosterone Liquid) Mid-level-ontology.kif 33263-33263 room temperature state aldosterone and liquid
(roomTempState Alkaloid Liquid) Mid-level-ontology.kif 33264-33264 room temperature state alkaloid and liquid
(roomTempState Alumina Solid) Mid-level-ontology.kif 33265-33265 room temperature state alumina and solid
(roomTempState Aluminum Solid) Mid-level-ontology.kif 33167-33167 room temperature state aluminum and solid
(roomTempState Amaretto Liquid) Mid-level-ontology.kif 33132-33132 room temperature state amaretto and liquid
(roomTempState Americium Solid) Mid-level-ontology.kif 33249-33249 room temperature state americium and solid
(roomTempState AminoAcid Liquid) Mid-level-ontology.kif 33266-33266 room temperature state amino acid and liquid
(roomTempState Amphetamine Solid) Mid-level-ontology.kif 33267-33267 room temperature state amphetamine and solid
(roomTempState AnimalFat Solid) Food.kif 2879-2879 room temperature state animal fat and solid
(roomTempState Antimony Solid) Mid-level-ontology.kif 33205-33205 room temperature state antimony and solid
(roomTempState Aperitif Liquid) Mid-level-ontology.kif 33129-33129 room temperature state aperitif and liquid
(roomTempState Argon Gas) Mid-level-ontology.kif 33172-33172 room temperature state argon and gas
(roomTempState Arsenic Solid) Mid-level-ontology.kif 33187-33187 room temperature state arsenic and solid
(roomTempState Arsine Gas) Mid-level-ontology.kif 33260-33260 room temperature state arsine and gas
(roomTempState Asbestos Solid) Mid-level-ontology.kif 33268-33268 room temperature state asbestos and solid
(roomTempState Astatine Solid) Mid-level-ontology.kif 33239-33239 room temperature state astatine and solid
(roomTempState Atropine Liquid) Mid-level-ontology.kif 33269-33269 room temperature state atropine and liquid
(roomTempState BZGas Gas) Mid-level-ontology.kif 33275-33275 room temperature state BZ gas and gas
(roomTempState Bacardi Liquid) Mid-level-ontology.kif 33140-33140 room temperature state Bacardi and liquid
(roomTempState Bacitracin Liquid) Mid-level-ontology.kif 33270-33270 room temperature state bacitracin and liquid

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