roomTempState |
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 |
|
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 |