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
hazardous
Sigma KEE - hazardous
hazardous
appearance as argument number 1
(
documentation
hazardous
ChineseLanguage
"
hazardous
是一种
BinaryRelation
,它把 一个
Physical
(
Object
或
Process
) 和这个物理可能造成
Damaging
的另外一个
Object
连系在一起。(hazardous ?THING ?OBJECT) 的月意思是 ?THING 可能为造成 ?OBJECT 损害。")
Geography.kif 5866-5868
(
documentation
hazardous
EnglishLanguage
"
hazardous
is a
BinaryPredicate
which associates a
Physical
(an
Object
or a
Process
) to the
Damaging
it may bring to another
Object
. (hazardous ?THING ?OBJECT) means that ?THING may cause damage to ?OBJECT.")
Geography.kif 5863-5865
(
domain
hazardous
1
Physical
)
Geography.kif 5869-5869
Le nombre 1 argument de
hazardous
est une
instance
de
physique
(
domain
hazardous
2
Object
)
Geography.kif 5870-5870
Le nombre 2 argument de
hazardous
est une
instance
de
objet
(
instance
hazardous
BinaryPredicate
)
Geography.kif 5871-5871
hazardous
est une
instance
de
pr�dicat binaire
appearance as argument number 2
(
format
EnglishLanguage
hazardous
"%1 is %n
hazardous
to %2")
Geography.kif 5872-5872
(
subrelation
maritimeHazard
hazardous
)
Geography.kif 5893-5893
maritimeHazard
est une
sous
-relation de
hazardous
(
termFormat
ChineseLanguage
hazardous
"危险")
Geography.kif 5874-5874
(
termFormat
EnglishLanguage
hazardous
"hazardous")
Geography.kif 5873-5873
antecedent
(=>
(
hazardous
?A ?B)
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
patient
?D ?B)
(
or
(
involvedInEvent
?D ?A)
(
causes
?A ?D))))
Possibility
))
Geography.kif 5876-5885
hazardous
physique
and
objet
l'argument
entit�
entit�
est une
instance
de
endommager
objet
est un
patient
de
entit�
involvedInEvent
entit�
and
physique
physique
cause
entit�
a la
force
modale
de
Possibility
consequent
(=>
(
and
(
instance
?HS
HeavySurf
)
(
instance
?PLACE
WaterArea
)
(
eventLocated
?HS ?PLACE))
(
exists
(?SWIM ?A)
(
and
(
instance
?SWIM
Swimming
)
(
instance
?A
Human
)
(
agent
?SWIM ?A)
(
eventLocated
?SWIM ?PLACE)
(
holdsDuring
(
WhenFn
?HS)
(
hazardous
?HS ?A)))))
Weather.kif 1579-1592
Processus
est une
instance
de
HeavySurf
objet
est une
instance
de
plan d'eau
eventLocated
processus
and
objet
processus
AutonomousAgent
processus
est une
instance
de
nager
AutonomousAgent
est une
instance
de
humain
processus
est un
agent
de
AutonomousAgent
eventLocated
processus
and
objet
hazardous
processus
and
AutonomousAgent
pendant
temps
d'existence de
processus
(=>
(
maritimeHazard
?A ?B)
(
exists
(?SAIL ?WATER)
(
and
(
instance
?SAIL
WaterTransportation
)
(
instrument
?SAIL ?B)
(
eventLocated
?SAIL ?WATER)
(
located
?A ?WATER)
(
hazardous
?A ?B))))
Geography.kif 5897-5905
maritimeHazard
physique
and
objet
processus
objet
processus
est une
instance
de
WaterTransportation
objet
est un
instrument
pour
processus
eventLocated
processus
and
objet
physique
est
situ
� �
objet
hazardous
physique
and
objet
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