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
naturalHazardTypeInArea
Sigma KEE - naturalHazardTypeInArea
naturalHazardTypeInArea
appearance as argument number 1
(
documentation
naturalHazardTypeInArea
EnglishLanguage
"(
naturalHazardTypeInArea
?AREA ?TYPE) means that in the
GeographicArea
?AREA,
Process
es of ?TYPE occur with some frequency and may cause damage or danger to human lives and property.")
Geography.kif 2259-2262
(
domain
naturalHazardTypeInArea
1
GeographicArea
)
Geography.kif 2256-2256
The number 1 argument of
natural hazard type in area
is an
instance
of
geographic area
(
domainSubclass
naturalHazardTypeInArea
2
Physical
)
Geography.kif 2257-2257
The number 2 argument of
natural hazard type in area
is a
subclass
of
physical
(
instance
naturalHazardTypeInArea
BinaryPredicate
)
Geography.kif 2255-2255
natural hazard type in area
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
naturalHazardTypeInArea
"%2 %n 是区域 %1 的 natural 有害类别")
domainEnglishFormat.kif 1783-1783
(
format
ChineseTraditionalLanguage
naturalHazardTypeInArea
"%2 %n 是區域 %1 的 natural 有害類別")
domainEnglishFormat.kif 1782-1782
(
format
EnglishLanguage
naturalHazardTypeInArea
"%2 is %n a natural hazard type in area of %1")
domainEnglishFormat.kif 1781-1781
(
termFormat
ChineseLanguage
naturalHazardTypeInArea
"区域内的自然灾害类型")
domainEnglishFormat.kif 39893-39893
(
termFormat
ChineseTraditionalLanguage
naturalHazardTypeInArea
"區域內的自然災害類型")
domainEnglishFormat.kif 39892-39892
(
termFormat
EnglishLanguage
naturalHazardTypeInArea
"natural hazard type in area")
domainEnglishFormat.kif 39891-39891
antecedent
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
geographicSubregion
?AREA ?COUNTRY)
(
instance
?COUNTRY
Nation
))
(
naturalHazardTypeInArea
?COUNTRY ?TYPE))
Geography.kif 2264-2269
If
a kind of physical
is a
natural
hazard type in area of
a geographic area
and
the geographic area
is a
geographic
subregion of
another geographic area
and
the other geographic area
is an
instance
of
nation
,
then
a kind of physical
is a
natural
hazard type in area of
the other geographic area
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
subclass
?TYPE
Object
))
(
exists
(?ITEM)
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA))))
Geography.kif 2271-2278
If
a kind of physical
is a
natural
hazard type in area of
a geographic area
and
a kind of physical
is a
subclass
of
object
,
then there exists
another physical
such that
the other physical
is an
instance
of
the kind of physical
and
the other physical
is
located
at
the geographic area
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
subclass
?TYPE
Process
))
(
exists
(?ITEM)
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA)
(
overlapsTemporally
(
WhenFn
?ITEM)
(
WhenFn
?AREA)))))
Geography.kif 2280-2290
If
a kind of physical
is a
natural
hazard type in area of
a geographic area
and
a kind of physical
is a
subclass
of
process
,
then there exists
another physical
such that
the other physical
is an
instance
of
the kind of physical
and
the other physical
is
located
at
the geographic area
and the
time
of existence of
the geographic area
overlap
s the
time
of existence of
the other physical
consequent
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
geographicSubregion
?AREA ?COUNTRY)
(
instance
?COUNTRY
Nation
))
(
naturalHazardTypeInArea
?COUNTRY ?TYPE))
Geography.kif 2264-2269
If
a kind of physical
is a
natural
hazard type in area of
a geographic area
and
the geographic area
is a
geographic
subregion of
another geographic area
and
the other geographic area
is an
instance
of
nation
,
then
a kind of physical
is a
natural
hazard type in area of
the other geographic area
appearance as argument number 0
(
naturalHazardTypeInArea
SouthernOcean
CyclonicStorm
)
Geography.kif 4677-4677
Cyclonic storm
is a
natural
hazard type in area of
southern ocean
(
naturalHazardTypeInArea
SouthernOcean
Iceberg
)
Geography.kif 4678-4678
Iceberg
is a
natural
hazard type in area of
southern ocean
(
naturalHazardTypeInArea
SouthernOcean
SeaIce
)
Geography.kif 4679-4679
Sea ice
is a
natural
hazard type in area of
southern ocean
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