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
(
domain
hazardous
2
Object
)
Geography.kif 5870-5870
(
instance
hazardous
BinaryPredicate
)
Geography.kif 5871-5871
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
(
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
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 1562-1575
(=>
(
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
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