| TemperatureAttribute(temperature attribute) | | clammy, dank |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27581-27582 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27580-27580 | Temperature attribute is a subclass of subjective assessment attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27596-27596 | Cold is an instance of temperature attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27602-27602 | Cool is an instance of temperature attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27614-27614 | Hot is an instance of temperature attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27608-27608 | Warm is an instance of temperature attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27583-27583 | Warm is an instance of temperature attribute |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27585-27594 |
|
|
|
|