Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  CoolTemperature
|
|
|
| appearance as argument number 1 |
|
|
| (instance CoolTemperature TemperatureAttribute) | Mid-level-ontology.kif 28272-28272 | Cool is an instance of temperature attribute |
| (documentation CoolTemperature EnglishLanguage "CoolTemperature describes how there is some relief from heat but not very cold, is between cold and warm") | Mid-level-ontology.kif 28273-28274 | Cool is an instance of temperature attribute |
| (successorAttribute CoolTemperature WarmTemperature) | Mid-level-ontology.kif 28282-28282 | Cool is an immediate successor attribute of warm |
| appearance as argument number 2 |
|
|
|