TreeView Knowledge Base Browser

appearance as argument number 1

(domain roomTempState 2 PhysicalState)	Mid-level-ontology.kif 31674-31674	roomTempState 的 2 数量是物质状态的 instance
(domainSubclass roomTempState 1 Substance)	Mid-level-ontology.kif 31675-31675	roomTempState 的 1 数量是物质的 subclass
(instance roomTempState BinaryPredicate)	Mid-level-ontology.kif 31676-31676	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 31678-31689

如果 roomTempState 有点物质 and 物质状态和物理是有点物质的 instance 和 roomTempState 那个有点物质 and 液体在时间位置 holdsDuring 和那个物理的 measure 是 101 帕斯卡的一千倍，
然后那个物理的 measure 是 68 华氏度在那个时间位置 holdsDuring

appearance as argument number 0

(roomTempState AbrinToxin Solid)	Mid-level-ontology.kif 31557-31557	roomTempState abrin毒素 and 固体
(roomTempState Absolut Liquid)	Mid-level-ontology.kif 31440-31440	roomTempState Absolut and 液体
(roomTempState Actinium Solid)	Mid-level-ontology.kif 31539-31539	roomTempState 锕 and 固体
(roomTempState Alcohol Liquid)	Mid-level-ontology.kif 31558-31558	roomTempState 醇 and 液体
(roomTempState AlcoholicBeverage Liquid)	Mid-level-ontology.kif 31421-31421	roomTempState 酒精饮料 and 液体
(roomTempState Aldosterone Liquid)	Mid-level-ontology.kif 31559-31559	roomTempState Aldosterone and 液体
(roomTempState Alkaloid Liquid)	Mid-level-ontology.kif 31560-31560	roomTempState 生物碱 and 液体
(roomTempState Alumina Solid)	Mid-level-ontology.kif 31561-31561	roomTempState 矾土 and 固体
(roomTempState Aluminum Solid)	Mid-level-ontology.kif 31463-31463	roomTempState 铝 and 固体
(roomTempState Amaretto Liquid)	Mid-level-ontology.kif 31428-31428	roomTempState Amaretto and 液体
(roomTempState Americium Solid)	Mid-level-ontology.kif 31545-31545	roomTempState 銤 and 固体
(roomTempState AminoAcid Liquid)	Mid-level-ontology.kif 31562-31562	roomTempState 氨基酸 and 液体
(roomTempState Amphetamine Solid)	Mid-level-ontology.kif 31563-31563	roomTempState Amphetamine and 固体
(roomTempState AnimalFat Solid)	Food.kif 2872-2872	roomTempState AnimalFat and 固体
(roomTempState Antimony Solid)	Mid-level-ontology.kif 31501-31501	roomTempState 锑 and 固体
(roomTempState Aperitif Liquid)	Mid-level-ontology.kif 31425-31425	roomTempState Aperitif and 液体
(roomTempState Argon Gas)	Mid-level-ontology.kif 31468-31468	roomTempState 氩 and 加油站
(roomTempState Arsenic Solid)	Mid-level-ontology.kif 31483-31483	roomTempState 砷 and 固体
(roomTempState Arsine Gas)	Mid-level-ontology.kif 31556-31556	roomTempState 胂 and 加油站
(roomTempState Asbestos Solid)	Mid-level-ontology.kif 31564-31564	roomTempState 石棉 and 固体
(roomTempState Astatine Solid)	Mid-level-ontology.kif 31535-31535	roomTempState 砹 and 固体
(roomTempState Atropine Liquid)	Mid-level-ontology.kif 31565-31565	roomTempState 阿托品 and 液体
(roomTempState BZGas Gas)	Mid-level-ontology.kif 31571-31571	roomTempState BZ气体 and 加油站
(roomTempState Bacardi Liquid)	Mid-level-ontology.kif 31436-31436	roomTempState Bacardi and 液体
(roomTempState Bacitracin Liquid)	Mid-level-ontology.kif 31566-31566	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: