TreeView Knowledge Base Browser

appearance as argument number 1

(domain roomTempState 2 PhysicalState)	Mid-level-ontology.kif 31670-31670	域 roomTempState, 2 and PhysicalState
(domainSubclass roomTempState 1 Substance)	Mid-level-ontology.kif 31671-31671	域子類 roomTempState, 1 and Substance
(instance roomTempState BinaryPredicate)	Mid-level-ontology.kif 31672-31672	例 roomTempState and BinaryPredicate

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

roomTempState Substance and PhysicalState 例 Physical and Substance 持有期間 TimePosition and roomTempState Substance and 液體測量 Physical and 測量 101 and 千帕斯卡
持有期間 TimePosition and 測量 Physical and 測量 68 and 華氏度

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)

KB Term:			Term intersection

English Word: