| appearance as argument number 1 |
|
| (domain roomTempState 2 PhysicalState) | Mid-level-ontology.kif 31590-31590 | |
| (domainSubclass roomTempState 1 Substance) | Mid-level-ontology.kif 31591-31591 | |
| (instance roomTempState BinaryPredicate) | Mid-level-ontology.kif 31592-31592 |
| 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 31594-31605 |
| appearance as argument number 0 |
|
|
| (roomTempState AbrinToxin Solid) | Mid-level-ontology.kif 31473-31473 | |
| (roomTempState Absolut Liquid) | Mid-level-ontology.kif 31356-31356 | |
| (roomTempState Actinium Solid) | Mid-level-ontology.kif 31455-31455 | |
| (roomTempState Alcohol Liquid) | Mid-level-ontology.kif 31474-31474 | |
| (roomTempState AlcoholicBeverage Liquid) | Mid-level-ontology.kif 31337-31337 | |
| (roomTempState Aldosterone Liquid) | Mid-level-ontology.kif 31475-31475 | |
| (roomTempState Alkaloid Liquid) | Mid-level-ontology.kif 31476-31476 | |
| (roomTempState Alumina Solid) | Mid-level-ontology.kif 31477-31477 | |
| (roomTempState Aluminum Solid) | Mid-level-ontology.kif 31379-31379 | |
| (roomTempState Amaretto Liquid) | Mid-level-ontology.kif 31344-31344 | |
| (roomTempState Americium Solid) | Mid-level-ontology.kif 31461-31461 | |
| (roomTempState AminoAcid Liquid) | Mid-level-ontology.kif 31478-31478 | |
| (roomTempState Amphetamine Solid) | Mid-level-ontology.kif 31479-31479 | |
| (roomTempState AnimalFat Solid) | Food.kif 1378-1378 | |
| (roomTempState Antimony Solid) | Mid-level-ontology.kif 31417-31417 | |
| (roomTempState Aperitif Liquid) | Mid-level-ontology.kif 31341-31341 | |
| (roomTempState Argon Gas) | Mid-level-ontology.kif 31384-31384 | |
| (roomTempState Arsenic Solid) | Mid-level-ontology.kif 31399-31399 | |
| (roomTempState Arsine Gas) | Mid-level-ontology.kif 31472-31472 | |
| (roomTempState Asbestos Solid) | Mid-level-ontology.kif 31480-31480 | |
| (roomTempState Astatine Solid) | Mid-level-ontology.kif 31451-31451 | |
| (roomTempState Atropine Liquid) | Mid-level-ontology.kif 31481-31481 | |
| (roomTempState BZGas Gas) | Mid-level-ontology.kif 31487-31487 | |
| (roomTempState Bacardi Liquid) | Mid-level-ontology.kif 31352-31352 | |
| (roomTempState Bacitracin Liquid) | Mid-level-ontology.kif 31482-31482 | |
| 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