| 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 |
| 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 |
|
| 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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