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
Il numero 1 argomenti di
naturalHazardTypeInArea
è un
istanza
di
AreaGeografica
(
domainSubclass
naturalHazardTypeInArea
2
Physical
)
Geography.kif 2257-2257
Il numero 2 argomento
naturalHazardTypeInArea
è una
sottoclasse
di
Entit�Concreta
(
instance
naturalHazardTypeInArea
BinaryPredicate
)
Geography.kif 2255-2255
naturalHazardTypeInArea
è un'
istanza
di
PredicatoBinario
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 39891-39891
(
termFormat
ChineseTraditionalLanguage
naturalHazardTypeInArea
"區域內的自然災害類型")
domainEnglishFormat.kif 39890-39890
(
termFormat
EnglishLanguage
naturalHazardTypeInArea
"natural hazard type in area")
domainEnglishFormat.kif 39889-39889
antecedent
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
geographicSubregion
?AREA ?COUNTRY)
(
instance
?COUNTRY
Nation
))
(
naturalHazardTypeInArea
?COUNTRY ?TYPE))
Geography.kif 2264-2269
naturalHazardTypeInArea
AreaGeografica
and
Entit�Concreta
geographicSubregion
AreaGeografica
and
AreaGeografica
AreaGeografica
è un'
istanza
di
Nazione
naturalHazardTypeInArea
AreaGeografica
and
Entit�Concreta
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
subclass
?TYPE
Object
))
(
exists
(?ITEM)
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA))))
Geography.kif 2271-2278
naturalHazardTypeInArea
AreaGeografica
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Oggetto
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Entit�Concreta
Entit�Concreta
è
localizzato
in
AreaGeografica
(=>
(
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
naturalHazardTypeInArea
AreaGeografica
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Entit�Concreta
Entit�Concreta
è
localizzato
in
AreaGeografica
il
tempo
di esistenza di
AreaGeografica
sovrappone
s il
tempo
di esistenza di
Entit�Concreta
consequent
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
geographicSubregion
?AREA ?COUNTRY)
(
instance
?COUNTRY
Nation
))
(
naturalHazardTypeInArea
?COUNTRY ?TYPE))
Geography.kif 2264-2269
naturalHazardTypeInArea
AreaGeografica
and
Entit�Concreta
geographicSubregion
AreaGeografica
and
AreaGeografica
AreaGeografica
è un'
istanza
di
Nazione
naturalHazardTypeInArea
AreaGeografica
and
Entit�Concreta
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