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
visibilityInMeteorology
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 2698-2701
(
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 2693-2697
(
domain
visibilityInMeteorology
1
Region
)
Weather.kif 2702-2702
域
visibilityInMeteorology
, 1 and
Region
(
domain
visibilityInMeteorology
2
TimePosition
)
Weather.kif 2703-2703
域
visibilityInMeteorology
, 2 and
TimePosition
(
domain
visibilityInMeteorology
3
LengthMeasure
)
Weather.kif 2704-2704
域
visibilityInMeteorology
, 3 and
LengthMeasure
(
instance
visibilityInMeteorology
TernaryPredicate
)
Weather.kif 2705-2705
例
visibilityInMeteorology
and
TernaryPredicate
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
(=>
(
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 2537-2550
例
Process
and
Fogging
Process
是
located
在
Region
例
Region
and
GeographicArea
例
Object
and
大氣地區
方位
Object
,
Region
and
以上
例
Object
and
Aerosal
Object
對於
Object
在時間
何時
Process
located
visibility
在
Region
期間
何時
Process
是
測量
RealNumber
and
儀表
少於
RealNumber
and 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 2566-2580
例
Process
and
AtmosphericHazing
Process
是
located
在
Region
例
Region
and
GeographicArea
例
Object
and
大氣地區
方位
Object
,
Region
and
以上
Object
對於
Object
在時間
何時
Process
located
visibility
在
Region
期間
何時
Process
是
測量
RealNumber
and
公里
比較多
RealNumber
and 2.0
少於
RealNumber
and 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 2728-2748
visibility
在
Region
期間
TimeInterval
是
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfMeasure
例
TimeInterval
and
一天的時間
例
Process
and
看著
例
Object
and
Object
Object
是
黑色
的
color
agent
Process
and
AutonomousAgent
患者
Process
and
Object
方位
AutonomousAgent
,
Object
and
橫
Process
是
located
在
Region
期間
何時
Process
and
TimeInterval
例
Object
and
Object
RealNumber
距離
AutonomousAgent
,
Object
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
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 2750-2771
visibility
在
Region
期間
TimeInterval
是
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfMeasure
例
TimeInterval
and
晚上的時間
例
Process
and
看著
例
Object
and
Region
attribute
Object
and
發光的
測量
Object
and
測量
1000.0 and
坎德拉
agent
Process
and
AutonomousAgent
患者
Process
and
Object
方位
AutonomousAgent
,
Object
and
橫
Process
是
located
在
Region
期間
何時
Process
and
TimeInterval
例
Object
and
Object
RealNumber
距離
AutonomousAgent
,
Object
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
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 2709-2726
visibility
在
Region
期間
TimeInterval
是
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfMeasure
Process
AutonomousAgent
,
Object
and
RealNumber
例
Process
and
看著
agent
Process
and
AutonomousAgent
患者
Process
and
Object
方位
AutonomousAgent
,
Object
and
橫
期間
何時
Process
and
TimeInterval
Process
是
located
在
Region
距離
AutonomousAgent
,
Object
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
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
例
Process
and
暴風雪
Region
RealNumber
例
Region
and
GeographicArea
Process
是
located
在
Region
visibility
在
Region
期間
何時
Process
是
測量
RealNumber
and
儀表
少於
RealNumber
and 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