| appearance as argument number 1 |
|
| (documentation BadAirQuality ChineseLanguage "在阴霾 AtmosphericHazing和沙尘暴DustStorm 发生的地方 GeographicArea, 当地的空气多会是差的BadAirQuality。") | Weather.kif 2568-2569 | |
| (documentation BadAirQuality EnglishLanguage "When there is AtmosphericHazing or DustStorm in a GeographicArea, the place is likely to suffer from BadAirQuality.") | Weather.kif 2565-2567 | |
| (instance BadAirQuality RelationalAttribute) | Weather.kif 2571-2571 | Bad air quality is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BadAirQuality "Bad air quality") | domainEnglishFormat.kif 64551-64551 |
| consequent |
|
|
| (=> (and (instance ?DUST DustStorm) (instance ?PLACE GeographicArea) (eventLocated ?DUST ?PLACE)) (holdsDuring (WhenFn ?DUST) (modalAttribute (attribute ?PLACE BadAirQuality) Likely))) |
Weather.kif 2583-2591 |
|
| (=> (and (instance ?HAZE AtmosphericHazing) (instance ?PLACE GeographicArea) (eventLocated ?HAZE ?PLACE)) (holdsDuring (WhenFn ?HAZE) (modalAttribute (attribute ?PLACE BadAirQuality) Likely))) |
Weather.kif 2573-2581 |
|
|
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