| appearance as argument number 1 |
|
| (documentation visibilityInMeteorology ChineseLanguage "visibilityInMeteorology 是一个 TernaryPredicate。(visibilityInMeteorology ?R ?T ?L)的意思是在?T 某时某地 ?R，?L 是一个 agent 能看见最远 Horizontal distance：在 1. DayTime 是黑色物体；或是在 2. NightTime 是 1,000 Candelas 的 RadiatingVisibleLight。DayTime 的能见度可以用气象光学范围(MOR)来代表。") | Weather.kif 2283-2286 | |
| (documentation visibilityInMeteorology EnglishLanguage "visibilityInMeteorology is a TernaryPredicate. (visibilityInMeteorology ?R ?T ?L) means that for ?R a region over?T a period of Time, ?L is the greatest Horizontal distance an agent can observe 1. a black object during DayTime; or 2. RadiatingVisibleLight of 1,000 Candelas during NightTime. Visibility during DayTime can also be called the meteorological optical range (MOR)") | Weather.kif 2278-2282 | |
| (domain visibilityInMeteorology 1 Region) | Weather.kif 2287-2287 | |
| (domain visibilityInMeteorology 2 TimePosition) | Weather.kif 2288-2288 | |
| (domain visibilityInMeteorology 3 LengthMeasure) | Weather.kif 2289-2289 | |
| (instance visibilityInMeteorology TernaryPredicate) | Weather.kif 2290-2290 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage visibilityInMeteorology "visibility 在 %1 期间 %2 是 %3 ") | domainEnglishFormat.kif 4943-4943 | |
| (format ChineseTraditionalLanguage visibilityInMeteorology "visibility 在 %1 期間 %2 是 %3 ") | domainEnglishFormat.kif 4942-4942 | |
| (format EnglishLanguage visibilityInMeteorology "the visibility at %1 during %2 is %3") | domainEnglishFormat.kif 4941-4941 | |
| (termFormat ChineseLanguage visibilityInMeteorology "气象学能见度") | Weather.kif 2292-2292 | |
| (termFormat EnglishLanguage visibilityInMeteorology "visibility in meteorology") | Weather.kif 2291-2291 |
| antecedent |
|
|
| (=> (and (instance ?FOG Fogging) (eventLocated ?FOG ?AREA) (instance ?AREA AtmosphericRegion) (instance ?A Aerosal) (locatedAtTime ?A (WhenFn ?FOG) ?AREA) (visibilityInMeteorology ?AREA (WhenFn ?FOG) (MeasureFn ?VISIBILITY Meter))) (lessThan ?VISIBILITY 1000)) |
Weather.kif 2151-2162 | |
| (=> (and (instance ?HAZE AtmosphericHazing) (eventLocated ?HAZE ?AREA) (instance ?AREA AtmosphericRegion) (instance ?PARTICULATE ParticulateMatter) (locatedAtTime ?PARTICULATE (WhenFn ?HAZE) ?AREA) (visibilityInMeteorology ?AREA (WhenFn ?HAZE) (MeasureFn ?VISIBILITY Kilometer))) (and (greaterThan ?VISIBILITY 2) (lessThan ?VISIBILITY 5))) |
Weather.kif 2178-2191 | |
| (=> (and (visibilityInMeteorology ?Area ?Time ?Distance) (instance ?Time DayTime) (instance ?Observe Looking) (instance ?B Object) (color ?B Black) (agent ?Observe ?A) (patient ?Observe ?B) (orientation ?A ?B Horizontal) (eventLocated ?Observe ?Area) (during (WhenFn ?Observe) ?Time) (instance ?B Object)) (and (distance ?A ?B ?D2) (greaterThan ?Distance ?D2))) |
Weather.kif 2309-2325 | |
| (=> (and (visibilityInMeteorology ?Area ?Time ?Distance) (instance ?Time NightTime) (instance ?Observe Looking) (instance ?B Region) (attribute ?B Illuminated) (measure ?B (MeasureFn 1000 Candela)) (agent ?Observe ?A) (patient ?Observe ?B) (orientation ?A ?B Horizontal) (eventLocated ?Observe ?Area) (during (WhenFn ?Observe) ?Time) (instance ?B Object)) (and (distance ?A ?B ?D2) (greaterThan ?Distance ?D2))) |
Weather.kif 2327-2344 | |
| (=> (visibilityInMeteorology ?Area ?Time ?Distance) (not (exists (?Observe ?A ?B ?D2) (and (instance ?Observe Looking) (agent ?Observe ?A) (patient ?Observe ?B) (orientation ?A ?B Horizontal) (during (WhenFn ?Observe) ?Time) (eventLocated ?Observe ?Area) (distance ?A ?B ?D2) (greaterThan ?D2 ?Distance))))) |
Weather.kif 2294-2307 |
| consequent |
|
|
| (=> (instance ?PROCESS Blizzard) (exists (?AREA ?DIST) (and (instance ?AREA GeographicArea) (eventLocated ?PROCESS ?AREA) (visibilityInMeteorology ?AREA (WhenFn ?PROCESS) (MeasureFn ?DIST Meter)) (lessThan ?DIST 400)))) |
Weather.kif 2227-2236 |
|
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