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 31591-31591 Le nombre 2 argument de roomTempState est une instance de �tat physique
(domainSubclass roomTempState 1 Substance) Mid-level-ontology.kif 31592-31592 Le nombre 1 argument de roomTempState est une sous-classe de substance
(instance roomTempState BinaryPredicate) Mid-level-ontology.kif 31593-31593 roomTempState est une instance de pr�dicat binaire

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 31595-31606

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


(roomTempState AbrinToxin Solid) Mid-level-ontology.kif 31474-31474 roomTempState AbrinToxin and Solid
(roomTempState Absolut Liquid) Mid-level-ontology.kif 31357-31357 roomTempState Absolut and Liquid
(roomTempState Actinium Solid) Mid-level-ontology.kif 31456-31456 roomTempState Actinium and Solid
(roomTempState Alcohol Liquid) Mid-level-ontology.kif 31475-31475 roomTempState Alcohol and Liquid
(roomTempState AlcoholicBeverage Liquid) Mid-level-ontology.kif 31338-31338 roomTempState AlcoholicBeverage and Liquid
(roomTempState Aldosterone Liquid) Mid-level-ontology.kif 31476-31476 roomTempState Aldosterone and Liquid
(roomTempState Alkaloid Liquid) Mid-level-ontology.kif 31477-31477 roomTempState Alkaloid and Liquid
(roomTempState Alumina Solid) Mid-level-ontology.kif 31478-31478 roomTempState Alumina and Solid
(roomTempState Aluminum Solid) Mid-level-ontology.kif 31380-31380 roomTempState Aluminum and Solid
(roomTempState Amaretto Liquid) Mid-level-ontology.kif 31345-31345 roomTempState Amaretto and Liquid
(roomTempState Americium Solid) Mid-level-ontology.kif 31462-31462 roomTempState Americium and Solid
(roomTempState AminoAcid Liquid) Mid-level-ontology.kif 31479-31479 roomTempState AminoAcid and Liquid
(roomTempState Amphetamine Solid) Mid-level-ontology.kif 31480-31480 roomTempState Amphetamine and Solid
(roomTempState AnimalFat Solid) Food.kif 2872-2872 roomTempState AnimalFat and Solid
(roomTempState Antimony Solid) Mid-level-ontology.kif 31418-31418 roomTempState Antimony and Solid
(roomTempState Aperitif Liquid) Mid-level-ontology.kif 31342-31342 roomTempState Aperitif and Liquid
(roomTempState Argon Gas) Mid-level-ontology.kif 31385-31385 roomTempState Argon and Gas
(roomTempState Arsenic Solid) Mid-level-ontology.kif 31400-31400 roomTempState Arsenic and Solid
(roomTempState Arsine Gas) Mid-level-ontology.kif 31473-31473 roomTempState Arsine and Gas
(roomTempState Asbestos Solid) Mid-level-ontology.kif 31481-31481 roomTempState Asbestos and Solid
(roomTempState Astatine Solid) Mid-level-ontology.kif 31452-31452 roomTempState Astatine and Solid
(roomTempState Atropine Liquid) Mid-level-ontology.kif 31482-31482 roomTempState Atropine and Liquid
(roomTempState BZGas Gas) Mid-level-ontology.kif 31488-31488 roomTempState BZGas and Gas
(roomTempState Bacardi Liquid) Mid-level-ontology.kif 31353-31353 roomTempState Bacardi and Liquid
(roomTempState Bacitracin Liquid) Mid-level-ontology.kif 31483-31483 roomTempState 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