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
Die Zahl 1 Argument von
naturalHazardTypeInArea
ist ein
fall
von
GeographicArea
%n{nicht}
(
domainSubclass
naturalHazardTypeInArea
2
Physical
)
Geography.kif 2257-2257
Die Zahl 2 Argument von
naturalHazardTypeInArea
ist eine
teilkategorie
von
Physical
%n{nicht}
(
instance
naturalHazardTypeInArea
BinaryPredicate
)
Geography.kif 2255-2255
naturalHazardTypeInArea
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
naturalHazardTypeInArea
GeographicArea
and
** Physical
und
geographicSubregion
** GeographicArea
and
** GeographicArea
und
** ** GeographicArea
ist ein
fall
von
Nation
%n{nicht},
dann
naturalHazardTypeInArea
** ** GeographicArea
and
** Physical
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
subclass
?TYPE
Object
))
(
exists
(?ITEM)
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA))))
Geography.kif 2271-2278
Wenn
naturalHazardTypeInArea
GeographicArea
and
** Physical
und
** Physical
ist eine
teilkategorie
von
Object
,
dann es gibt
** Physical
um
** ** Physical
ist ein
fall
von
** ** Physical
%n{nicht} und
** ** Physical
befindet
sich an %n{nicht}
(=>
(
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
Wenn
naturalHazardTypeInArea
GeographicArea
and
** Physical
und
** Physical
ist eine
teilkategorie
von
Process
,
dann es gibt
** Physical
um
** ** Physical
ist ein
fall
von
** ** Physical
%n{nicht} und
** ** Physical
befindet
sich an %n{nicht} und die
zeit
des Bestehens von
** GeographicArea
deckt
sich mit die
zeit
des Bestehens von
** ** Physical
%n{nicht}
consequent
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
geographicSubregion
?AREA ?COUNTRY)
(
instance
?COUNTRY
Nation
))
(
naturalHazardTypeInArea
?COUNTRY ?TYPE))
Geography.kif 2264-2269
Wenn
naturalHazardTypeInArea
GeographicArea
and
** Physical
und
geographicSubregion
** GeographicArea
and
** GeographicArea
und
** ** GeographicArea
ist ein
fall
von
Nation
%n{nicht},
dann
naturalHazardTypeInArea
** ** GeographicArea
and
** Physical
appearance as argument number 0
(
naturalHazardTypeInArea
SouthernOcean
CyclonicStorm
)
Geography.kif 4677-4677
naturalHazardTypeInArea
SouthernOcean
and
CyclonicStorm
(
naturalHazardTypeInArea
SouthernOcean
Iceberg
)
Geography.kif 4678-4678
naturalHazardTypeInArea
SouthernOcean
and
Iceberg
(
naturalHazardTypeInArea
SouthernOcean
SeaIce
)
Geography.kif 4679-4679
naturalHazardTypeInArea
SouthernOcean
and
SeaIce
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