Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sword
Sigma KEE - visibilityInMeteorology
visibilityInMeteorology
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
Candela
s 的
RadiatingVisibleLight
。
DayTime
的能见度可以用气象光学范围(MOR)来代表。")
Weather.kif 2681-2684
(
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
Candela
s during
NightTime
. Visibility during
DayTime
can also be called the meteorological optical range (MOR)")
Weather.kif 2676-2680
(
domain
visibilityInMeteorology
1
Region
)
Weather.kif 2685-2685
气象学能见度
的 1 数量 是
地区
的
instance
(
domain
visibilityInMeteorology
2
TimePosition
)
Weather.kif 2686-2686
气象学能见度
的 2 数量 是
时间位置
的
instance
(
domain
visibilityInMeteorology
3
LengthMeasure
)
Weather.kif 2687-2687
气象学能见度
的 3 数量 是
长度测量
的
instance
(
instance
visibilityInMeteorology
TernaryPredicate
)
Weather.kif 2688-2688
气象学能见度
是
三元谓语
的
instance
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 2690-2690
(
termFormat
EnglishLanguage
visibilityInMeteorology
"visibility in meteorology")
Weather.kif 2689-2689
antecedent
(=>
(
and
(
instance
?FOG
Fogging
)
(
eventLocated
?FOG ?AREA)
(
instance
?AREA
GeographicArea
)
(
instance
?AIR
AtmosphericRegion
)
(
orientation
?AIR ?AREA
Above
)
(
instance
?A
Aerosal
)
(
locatedAtTime
?A
(
WhenFn
?FOG) ?AIR)
(
visibilityInMeteorology
?AREA
(
WhenFn
?FOG)
(
MeasureFn
?VISIBILITY
Meter
)))
(
lessThan
?VISIBILITY 1000.0))
Weather.kif 2520-2533
如果
过程
是
雾
的
instance
和
那个 过程
是
located
在
地区
和
那个 地区
是
地理区域
的
instance
和
客体
是
大气地区
的
instance
和
那个 客体
在
那个 地区
的
以上
和
另一个 客体
是
气溶胶
的
instance
和
那个 另外 客体
对于
那个 客体
在时间
那个 过程
出现 的
time
located
和
visibility
在
那个 地区
期间
那个 过程
出现 的
time
是
实数
仪表
,
然后
那个 实数
是
lessThan
1000.0
(=>
(
and
(
instance
?HAZE
AtmosphericHazing
)
(
eventLocated
?HAZE ?AREA)
(
instance
?AREA
GeographicArea
)
(
instance
?AIR
AtmosphericRegion
)
(
orientation
?AIR ?AREA
Above
)
(
locatedAtTime
?PARTICULATE
(
WhenFn
?HAZE) ?AIR)
(
visibilityInMeteorology
?AREA
(
WhenFn
?HAZE)
(
MeasureFn
?VISIBILITY
Kilometer
)))
(
and
(
greaterThan
?VISIBILITY 2.0)
(
lessThan
?VISIBILITY 5.0)))
Weather.kif 2549-2563
如果
过程
是
阴霾
的
instance
和
那个 过程
是
located
在
地区
和
那个 地区
是
地理区域
的
instance
和
客体
是
大气地区
的
instance
和
那个 客体
在
那个 地区
的
以上
和
另一个 客体
对于
那个 客体
在时间
那个 过程
出现 的
time
located
和
visibility
在
那个 地区
期间
那个 过程
出现 的
time
是
实数
公里
,
然后
那个 实数
是
greaterThan
2.0 和
那个 实数
是
lessThan
5.0
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
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
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2711-2731
如果
visibility
在
地区
期间
时距
是
实数
测量单位
和
那个 测量单位
是
测量单位
的
instance
和
那个 时距
是
一天的时间
的
instance
和
过程
是
看着
的
instance
和
客体
是
客体
的
instance
和
那个 客体
是
黑色
的
color
和
施事体
是
那个 过程
的
agent
和
那个 客体
是
那个 过程
的
patient
和
那个 施事体
在
那个 客体
的
横
和
那个 过程
是
located
在
那个 地区
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 客体
是
客体
的
instance
,
然后 有存在
另一个 实数
这样
那个 施事体
和
那个 客体
的
distance
是
那个 另外 实数
那个 测量单位
和
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
instance
?Time
NightTime
)
(
instance
?Observe
Looking
)
(
instance
?B
Region
)
(
attribute
?B
Illuminated
)
(
measure
?B
(
MeasureFn
1000.0
Candela
))
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
eventLocated
?Observe ?Area)
(
during
(
WhenFn
?Observe) ?Time)
(
instance
?B
Object
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2733-2754
如果
visibility
在
地区
期间
时距
是
实数
测量单位
和
那个 测量单位
是
测量单位
的
instance
和
那个 时距
是
晚上的时间
的
instance
和
过程
是
看着
的
instance
和
客体
是
地区
的
instance
和
发光的
是
那个 客体
的
attribute
和
那个 客体
的
measure
是 1000.0
坎德拉
和
施事体
是
那个 过程
的
agent
和
那个 客体
是
那个 过程
的
patient
和
那个 施事体
在
那个 客体
的
横
和
那个 过程
是
located
在
那个 地区
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 客体
是
客体
的
instance
,
然后 有存在
另一个 实数
这样
那个 施事体
和
那个 客体
的
distance
是
那个 另外 实数
那个 测量单位
和
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
))
(
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
(
MeasureFn
?D2 ?U))
(
greaterThan
?D2 ?Distance)))))
Weather.kif 2692-2709
如果
visibility
在
地区
期间
时距
是
实数
测量单位
和
那个 测量单位
是
测量单位
的
instance
,
然后 不存在
过程
,
施事体
,, ,
客体
, and 和
另一个 实数
这样
那个 过程
是
看着
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 客体
是
那个 过程
的
patient
和
那个 施事体
在
那个 客体
的
横
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 过程
是
located
在
那个 地区
和
那个 施事体
和
那个 客体
的
distance
是
那个 另外 实数
那个 测量单位
和
那个 另外 实数
是
greaterThan
那个 实数
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 2625-2634
如果
过程
是
暴风雪
的
instance
,
然后 有存在
地区
和
实数
这样
那个 地区
是
地理区域
的
instance
和
那个 过程
是
located
在
那个 地区
和
visibility
在
那个 地区
期间
那个 过程
出现 的
time
是
那个 实数
仪表
和
那个 实数
是
lessThan
400.0
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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