| appearance as argument number 1 |
|
| (domain roomTempState 2 PhysicalState) | Mid-level-ontology.kif 31706-31706 | 域 roomTempState, 2 and PhysicalState |
| (domainSubclass roomTempState 1 Substance) | Mid-level-ontology.kif 31707-31707 | 域子類 roomTempState, 1 and Substance |
| (instance roomTempState BinaryPredicate) | Mid-level-ontology.kif 31708-31708 | 例 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 31710-31721 |
|
| 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 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