visibilityInMeteorology |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage visibilityInMeteorology "visibility 在 %1 期间 %2 是 %3 ") | domainEnglishFormat.kif 4934-4934 | |
(format ChineseTraditionalLanguage visibilityInMeteorology "visibility 在 %1 期間 %2 是 %3 ") | domainEnglishFormat.kif 4933-4933 | |
(format EnglishLanguage visibilityInMeteorology "the visibility at %1 during %2 is %3") | domainEnglishFormat.kif 4932-4932 | |
(termFormat ChineseLanguage visibilityInMeteorology "气象学能见度") | Weather.kif 2707-2707 | |
(termFormat EnglishLanguage visibilityInMeteorology "visibility in meteorology") | Weather.kif 2706-2706 |
antecedent |
consequent |
(=> (instance ?PROCESS Blizzard) (exists (?AREA ?DIST) (and (instance ?AREA GeographicArea) (eventLocated ?PROCESS ?AREA) (visibilityInMeteorology ?AREA (WhenFn ?PROCESS) (MeasureFn ?DIST Meter)) (lessThan ?DIST 400.0)))) |
Weather.kif 2642-2651 |
|