Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BadAirQuality(Bad air quality) |
| appearance as argument number 1 |
|
| (documentation BadAirQuality EnglishLanguage "When there is AtmosphericHazing or DustStorm in a GeographicArea, the place is likely to suffer from BadAirQuality.") | Weather.kif 3849-3851 | |
| (documentation BadAirQuality ChineseLanguage "在阴霾 AtmosphericHazing和沙尘暴DustStorm 发生的地方 GeographicArea, 当地的空气多会是差的BadAirQuality。") | Weather.kif 3852-3853 | |
| (instance BadAirQuality RelationalAttribute) | Weather.kif 3855-3855 | Bad air quality is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BadAirQuality "Bad air quality") | domainEnglishFormat.kif 64506-64506 |
| consequent |
|
|
| (=> (and (instance ?HAZE AtmosphericHazing) (instance ?PLACE GeographicArea) (eventLocated ?HAZE ?PLACE)) (holdsDuring (WhenFn ?HAZE) (modalAttribute (attribute ?PLACE BadAirQuality) Likely))) |
Weather.kif 3857-3865 | If X is an instance of atmospheric hazing, Y is an instance of geographic area, and X is located at Y, then the statement Bad air quality is an attribute of Y has the modal force of likely holds during the time of existence of X |
| (=> (and (instance ?DUST DustStorm) (instance ?PLACE GeographicArea) (eventLocated ?DUST ?PLACE)) (holdsDuring (WhenFn ?DUST) (modalAttribute (attribute ?PLACE BadAirQuality) Likely))) |
Weather.kif 3867-3875 | If X is an instance of dust storm, Y is an instance of geographic area, and X is located at Y, then the statement Bad air quality is an attribute of Y has the modal force of likely holds during the time of existence of X |
|