| appearance as argument number 1 |
|
| (subclass AirQualityAQIAttribute Attribute) | Weather.kif 3096-3096 | AirQualityAQIAttribute は 属性 の subclass では %n |
| appearance as argument number 2 |
|
|
| (instance GoodAQIAirQuality AirQualityAQIAttribute) | Weather.kif 3100-3100 | GoodAQIAirQuality は AirQualityAQIAttribute の instance では %n |
| (instance HazardousAQIAirQuality AirQualityAQIAttribute) | Weather.kif 3169-3169 | HazardousAQIAirQuality は AirQualityAQIAttribute の instance では %n |
| (instance ModerateAQIAirQuality AirQualityAQIAttribute) | Weather.kif 3112-3112 | ModerateAQIAirQuality は AirQualityAQIAttribute の instance では %n |
| (instance UnhealthyAQIAirQuality AirQualityAQIAttribute) | Weather.kif 3141-3141 | UnhealthyAQIAirQuality は AirQualityAQIAttribute の instance では %n |
| (instance UnhealthyForSensitiveAQIAirQuality AirQualityAQIAttribute) | Weather.kif 3127-3127 | UnhealthyForSensitiveAQIAirQuality は AirQualityAQIAttribute の instance では %n |
| (instance VeryUnhealthyAQIAirQuality AirQualityAQIAttribute) | Weather.kif 3155-3155 | VeryUnhealthyAQIAirQuality は AirQualityAQIAttribute の instance では %n |
|
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