roomTempState - Sigma Knowledge base Browser

appearance as argument number 1

(domain roomTempState 2 PhysicalState)	Mid-level-ontology.kif 31706-31706	roomTempState の数値 2 引数は物理状態の instance では %n
(domainSubclass roomTempState 1 Substance)	Mid-level-ontology.kif 31707-31707	roomTempState の数値 1 引数は物質のsubclass では %n
(instance roomTempState BinaryPredicate)	Mid-level-ontology.kif 31708-31708	roomTempState は 2進述語の instance では %n

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

roomTempState 物質 and 物理状態物理は物質の instance では %n roomTempState 物質 and Liquid は時間位置の during holds %n{ない} 物理の measure は 101 の 1 の thousand Pascals(s) では %n
物理の measure は 68 の FahrenheitDegree(s) では %n は時間位置の during holds %n{ない}

appearance as argument number 0

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

KB Term:			Term intersection

English Word: