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
Le nombre 1 argument de
visibilityInMeteorology
est une
instance
de
r�gion
(
domain
visibilityInMeteorology
2
TimePosition
)
Weather.kif 2703-2703
Le nombre 2 argument de
visibilityInMeteorology
est une
instance
de
position temporel
(
domain
visibilityInMeteorology
3
LengthMeasure
)
Weather.kif 2704-2704
Le nombre 3 argument de
visibilityInMeteorology
est une
instance
de
mesure de longueur
(
instance
visibilityInMeteorology
TernaryPredicate
)
Weather.kif 2705-2705
visibilityInMeteorology
est une
instance
de
pr�dicat ternaire
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
Processus
est une
instance
de
Fogging
eventLocated
processus
and
r�gion
r�gion
est une
instance
de
secteur g�ographique
objet
est une
instance
de
AtmosphericRegion
objet
est
Above
�
r�gion
objet
est une
instance
de
Aerosal
locatedAtTime
objet
,
temps
d'existence de
processus
and
objet
visibilityInMeteorology
r�gion
,
temps
d'existence de
processus
and
nombre r�el
Meter
(s)
nombre r�el
est
moins
que 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
Processus
est une
instance
de
AtmosphericHazing
eventLocated
processus
and
r�gion
r�gion
est une
instance
de
secteur g�ographique
objet
est une
instance
de
AtmosphericRegion
objet
est
Above
�
r�gion
locatedAtTime
objet
,
temps
d'existence de
processus
and
objet
visibilityInMeteorology
r�gion
,
temps
d'existence de
processus
and
nombre r�el
Kilometer
(s)
nombre r�el
est
plus
grand
que 2.0
nombre r�el
est
moins
que 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
visibilityInMeteorology
r�gion
,
interval temporel
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
unit� de mesure
interval temporel
est une
instance
de
DayTime
processus
est une
instance
de
Looking
objet
est une
instance
de
objet
color
objet
and
Black
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
AutonomousAgent
est
Horizontal
�
objet
eventLocated
processus
and
r�gion
temps
d'existence de
processus
prend place
pendant
interval temporel
objet
est une
instance
de
objet
nombre r�el
la
distance
entre
AutonomousAgent
et
objet
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
visibilityInMeteorology
r�gion
,
interval temporel
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
unit� de mesure
interval temporel
est une
instance
de
NightTime
processus
est une
instance
de
Looking
objet
est une
instance
de
r�gion
Illuminated
est un
attribut
de
objet
la
mesure
de
objet
est 1000.0
Candela
(s)
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
AutonomousAgent
est
Horizontal
�
objet
eventLocated
processus
and
r�gion
temps
d'existence de
processus
prend place
pendant
interval temporel
objet
est une
instance
de
objet
nombre r�el
la
distance
entre
AutonomousAgent
et
objet
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
visibilityInMeteorology
r�gion
,
interval temporel
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
unit� de mesure
processus
AutonomousAgent
,
objet
and
nombre r�el
processus
est une
instance
de
Looking
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
AutonomousAgent
est
Horizontal
�
objet
temps
d'existence de
processus
prend place
pendant
interval temporel
eventLocated
processus
and
r�gion
la
distance
entre
AutonomousAgent
et
objet
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
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
Processus
est une
instance
de
Blizzard
r�gion
nombre r�el
r�gion
est une
instance
de
secteur g�ographique
eventLocated
processus
and
r�gion
visibilityInMeteorology
r�gion
,
temps
d'existence de
processus
and
nombre r�el
Meter
(s)
nombre r�el
est
moins
que 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