| appearance as argument number 1 |
|
| (domain roomTempState 2 PhysicalState) | Mid-level-ontology.kif 31670-31670 | |
| (domainSubclass roomTempState 1 Substance) | Mid-level-ontology.kif 31671-31671 | |
| (instance roomTempState BinaryPredicate) | Mid-level-ontology.kif 31672-31672 |
| 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 Absolut Liquid) | Mid-level-ontology.kif 31436-31436 | |
| (roomTempState Actinium Solid) | Mid-level-ontology.kif 31535-31535 | |
| (roomTempState Alcohol Liquid) | Mid-level-ontology.kif 31554-31554 | |
| (roomTempState AlcoholicBeverage Liquid) | Mid-level-ontology.kif 31417-31417 | |
| (roomTempState Aldosterone Liquid) | Mid-level-ontology.kif 31555-31555 | |
| (roomTempState Alkaloid Liquid) | Mid-level-ontology.kif 31556-31556 | |
| (roomTempState Alumina Solid) | Mid-level-ontology.kif 31557-31557 | |
| (roomTempState Aluminum Solid) | Mid-level-ontology.kif 31459-31459 | |
| (roomTempState Amaretto Liquid) | Mid-level-ontology.kif 31424-31424 | |
| (roomTempState Americium Solid) | Mid-level-ontology.kif 31541-31541 | |
| (roomTempState AminoAcid Liquid) | Mid-level-ontology.kif 31558-31558 | |
| (roomTempState Amphetamine Solid) | Mid-level-ontology.kif 31559-31559 | |
| (roomTempState AnimalFat Solid) | Food.kif 2872-2872 | |
| (roomTempState Antimony Solid) | Mid-level-ontology.kif 31497-31497 | |
| (roomTempState Aperitif Liquid) | Mid-level-ontology.kif 31421-31421 | |
| (roomTempState Argon Gas) | Mid-level-ontology.kif 31464-31464 | |
| (roomTempState Arsenic Solid) | Mid-level-ontology.kif 31479-31479 | |
| (roomTempState Arsine Gas) | Mid-level-ontology.kif 31552-31552 | |
| (roomTempState Asbestos Solid) | Mid-level-ontology.kif 31560-31560 | |
| (roomTempState Astatine Solid) | Mid-level-ontology.kif 31531-31531 | |
| (roomTempState Atropine Liquid) | Mid-level-ontology.kif 31561-31561 | |
| (roomTempState BZGas Gas) | Mid-level-ontology.kif 31567-31567 | |
| (roomTempState Bacardi Liquid) | Mid-level-ontology.kif 31432-31432 | |
| (roomTempState Bacitracin Liquid) | Mid-level-ontology.kif 31562-31562 | |
| 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