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 31670-31670 roomTempState 的 2 数量 是 物质状态instance
(domainSubclass roomTempState 1 Substance) Mid-level-ontology.kif 31671-31671 roomTempState 的 1 数量 是 物质subclass
(instance roomTempState BinaryPredicate) Mid-level-ontology.kif 31672-31672 roomTempState二元谓语instance


        (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 31674-31685

appearance as argument number 0

(roomTempState AbrinToxin Solid) Mid-level-ontology.kif 31553-31553 roomTempState abrin毒素 and 固体
(roomTempState Absolut Liquid) Mid-level-ontology.kif 31436-31436 roomTempState Absolut and 液体
(roomTempState Actinium Solid) Mid-level-ontology.kif 31535-31535 roomTempState and 固体
(roomTempState Alcohol Liquid) Mid-level-ontology.kif 31554-31554 roomTempState and 液体
(roomTempState AlcoholicBeverage Liquid) Mid-level-ontology.kif 31417-31417 roomTempState 酒精饮料 and 液体
(roomTempState Aldosterone Liquid) Mid-level-ontology.kif 31555-31555 roomTempState Aldosterone and 液体
(roomTempState Alkaloid Liquid) Mid-level-ontology.kif 31556-31556 roomTempState 生物碱 and 液体
(roomTempState Alumina Solid) Mid-level-ontology.kif 31557-31557 roomTempState 矾土 and 固体
(roomTempState Aluminum Solid) Mid-level-ontology.kif 31459-31459 roomTempState and 固体
(roomTempState Amaretto Liquid) Mid-level-ontology.kif 31424-31424 roomTempState Amaretto and 液体
(roomTempState Americium Solid) Mid-level-ontology.kif 31541-31541 roomTempState and 固体
(roomTempState AminoAcid Liquid) Mid-level-ontology.kif 31558-31558 roomTempState 氨基酸 and 液体
(roomTempState Amphetamine Solid) Mid-level-ontology.kif 31559-31559 roomTempState Amphetamine and 固体
(roomTempState AnimalFat Solid) Food.kif 2872-2872 roomTempState AnimalFat and 固体
(roomTempState Antimony Solid) Mid-level-ontology.kif 31497-31497 roomTempState and 固体
(roomTempState Aperitif Liquid) Mid-level-ontology.kif 31421-31421 roomTempState Aperitif and 液体
(roomTempState Argon Gas) Mid-level-ontology.kif 31464-31464 roomTempState and 加油站
(roomTempState Arsenic Solid) Mid-level-ontology.kif 31479-31479 roomTempState and 固体
(roomTempState Arsine Gas) Mid-level-ontology.kif 31552-31552 roomTempState and 加油站
(roomTempState Asbestos Solid) Mid-level-ontology.kif 31560-31560 roomTempState 石棉 and 固体
(roomTempState Astatine Solid) Mid-level-ontology.kif 31531-31531 roomTempState and 固体
(roomTempState Atropine Liquid) Mid-level-ontology.kif 31561-31561 roomTempState 阿托品 and 液体
(roomTempState BZGas Gas) Mid-level-ontology.kif 31567-31567 roomTempState BZ气体 and 加油站
(roomTempState Bacardi Liquid) Mid-level-ontology.kif 31432-31432 roomTempState Bacardi and 液体
(roomTempState Bacitracin Liquid) Mid-level-ontology.kif 31562-31562 roomTempState 杆菌肽 and 液体

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