TreeView Knowledge Base Browser

appearance as argument number 1

(domain roomTempState 2 PhysicalState)	Mid-level-ontology.kif 31706-31706	roomTempState 的 2 数量是物质状态的 instance
(domainSubclass roomTempState 1 Substance)	Mid-level-ontology.kif 31707-31707	roomTempState 的 1 数量是物质的 subclass
(instance roomTempState BinaryPredicate)	Mid-level-ontology.kif 31708-31708	roomTempState 是二元谓语的 instance

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 和 roomTempState 那个有点物质 and 液体在时间位置 holdsDuring 和那个物理的 measure 是 101 帕斯卡的一千倍，
然后那个物理的 measure 是 68 华氏度在那个时间位置 holdsDuring

appearance as argument number 0

(roomTempState AbrinToxin Solid)	Mid-level-ontology.kif 31589-31589	roomTempState abrin毒素 and 固体
(roomTempState Absolut Liquid)	Mid-level-ontology.kif 31472-31472	roomTempState Absolut and 液体
(roomTempState Actinium Solid)	Mid-level-ontology.kif 31571-31571	roomTempState 锕 and 固体
(roomTempState Alcohol Liquid)	Mid-level-ontology.kif 31590-31590	roomTempState 醇 and 液体
(roomTempState AlcoholicBeverage Liquid)	Mid-level-ontology.kif 31453-31453	roomTempState 酒精饮料 and 液体
(roomTempState Aldosterone Liquid)	Mid-level-ontology.kif 31591-31591	roomTempState Aldosterone and 液体
(roomTempState Alkaloid Liquid)	Mid-level-ontology.kif 31592-31592	roomTempState 生物碱 and 液体
(roomTempState Alumina Solid)	Mid-level-ontology.kif 31593-31593	roomTempState 矾土 and 固体
(roomTempState Aluminum Solid)	Mid-level-ontology.kif 31495-31495	roomTempState 铝 and 固体
(roomTempState Amaretto Liquid)	Mid-level-ontology.kif 31460-31460	roomTempState Amaretto and 液体
(roomTempState Americium Solid)	Mid-level-ontology.kif 31577-31577	roomTempState 銤 and 固体
(roomTempState AminoAcid Liquid)	Mid-level-ontology.kif 31594-31594	roomTempState 氨基酸 and 液体
(roomTempState Amphetamine Solid)	Mid-level-ontology.kif 31595-31595	roomTempState Amphetamine and 固体
(roomTempState AnimalFat Solid)	Food.kif 2872-2872	roomTempState AnimalFat and 固体
(roomTempState Antimony Solid)	Mid-level-ontology.kif 31533-31533	roomTempState 锑 and 固体
(roomTempState Aperitif Liquid)	Mid-level-ontology.kif 31457-31457	roomTempState Aperitif and 液体
(roomTempState Argon Gas)	Mid-level-ontology.kif 31500-31500	roomTempState 氩 and 加油站
(roomTempState Arsenic Solid)	Mid-level-ontology.kif 31515-31515	roomTempState 砷 and 固体
(roomTempState Arsine Gas)	Mid-level-ontology.kif 31588-31588	roomTempState 胂 and 加油站
(roomTempState Asbestos Solid)	Mid-level-ontology.kif 31596-31596	roomTempState 石棉 and 固体
(roomTempState Astatine Solid)	Mid-level-ontology.kif 31567-31567	roomTempState 砹 and 固体
(roomTempState Atropine Liquid)	Mid-level-ontology.kif 31597-31597	roomTempState 阿托品 and 液体
(roomTempState BZGas Gas)	Mid-level-ontology.kif 31603-31603	roomTempState BZ气体 and 加油站
(roomTempState Bacardi Liquid)	Mid-level-ontology.kif 31468-31468	roomTempState Bacardi and 液体
(roomTempState Bacitracin Liquid)	Mid-level-ontology.kif 31598-31598	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: