| appearance as argument number 1 |
|
| (domain roomTempState 2 PhysicalState) | Mid-level-ontology.kif 33621-33621 | |
| (domainSubclass roomTempState 1 Substance) | Mid-level-ontology.kif 33622-33622 | |
| (instance roomTempState BinaryPredicate) | Mid-level-ontology.kif 33623-33623 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage roomTempState "room temperature state") | Mid-level-ontology.kif 33624-33624 |
| 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 33626-33637 |
| appearance as argument number 0 |
|
|
| (roomTempState AbrinToxin Solid) | Mid-level-ontology.kif 33504-33504 | |
| (roomTempState Absolut Liquid) | Mid-level-ontology.kif 33387-33387 | |
| (roomTempState Actinium Solid) | Mid-level-ontology.kif 33486-33486 | |
| (roomTempState Alcohol Liquid) | Mid-level-ontology.kif 33505-33505 | |
| (roomTempState AlcoholicBeverage Liquid) | Mid-level-ontology.kif 33368-33368 | |
| (roomTempState Aldosterone Liquid) | Mid-level-ontology.kif 33506-33506 | |
| (roomTempState Alkaloid Liquid) | Mid-level-ontology.kif 33507-33507 | |
| (roomTempState Alumina Solid) | Mid-level-ontology.kif 33508-33508 | |
| (roomTempState Aluminum Solid) | Mid-level-ontology.kif 33410-33410 | |
| (roomTempState Amaretto Liquid) | Mid-level-ontology.kif 33375-33375 | |
| (roomTempState Americium Solid) | Mid-level-ontology.kif 33492-33492 | |
| (roomTempState AminoAcid Liquid) | Mid-level-ontology.kif 33509-33509 | |
| (roomTempState Amphetamine Solid) | Mid-level-ontology.kif 33510-33510 | |
| (roomTempState AnimalFat Solid) | Food.kif 2879-2879 | |
| (roomTempState Antimony Solid) | Mid-level-ontology.kif 33448-33448 | |
| (roomTempState Aperitif Liquid) | Mid-level-ontology.kif 33372-33372 | |
| (roomTempState Argon Gas) | Mid-level-ontology.kif 33415-33415 | |
| (roomTempState Arsenic Solid) | Mid-level-ontology.kif 33430-33430 | |
| (roomTempState Arsine Gas) | Mid-level-ontology.kif 33503-33503 | |
| (roomTempState Asbestos Solid) | Mid-level-ontology.kif 33511-33511 | |
| (roomTempState Astatine Solid) | Mid-level-ontology.kif 33482-33482 | |
| (roomTempState Atropine Liquid) | Mid-level-ontology.kif 33512-33512 | |
| (roomTempState BZGas Gas) | Mid-level-ontology.kif 33518-33518 | |
| (roomTempState Bacardi Liquid) | Mid-level-ontology.kif 33383-33383 | |
| (roomTempState Bacitracin Liquid) | Mid-level-ontology.kif 33513-33513 | |
| 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