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
The number 1 argument of
hazardous
is an
instance
of
physical
(
domain
hazardous
2
Object
)
Geography.kif 5870-5870
The number 2 argument of
hazardous
is an
instance
of
object
(
instance
hazardous
BinaryPredicate
)
Geography.kif 5871-5871
hazardous
is an
instance
of
binary predicate
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
maritime hazard
is a
subrelation
of
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
If
a physical
is
hazardous
to
an object
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
damaging
and
the object
is a
patient
of
the entity
and
the physical
is an
involved
in event of
the entity
or
the physical
cause
s
the entity
has the
modal
force
of
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
If
a process
is an
instance
of
heavy zone
and
an object
is an
instance
of
water area
and
the process
is
located
at
the object
,
then there exist
another process
and
an agent
such that
the other process
is an
instance
of
swimming
and
the agent
is an
instance
of
human
and
the agent
is an
agent
of
the other process
and
the other process
is
located
at
the object
and
the process
is
hazardous
to
the agent
holds
during
the
time
of existence of
the process
(=>
(
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
If
a physical
is
hazardous
to
an object
.,
then there exist
a process
and
another object
such that
the process
is an
instance
of
water transportation
and
the object
is an
instrument
for
the process
and
the process
is
located
at
the other object
and
the physical
is
located
at
the other object
and
the physical
is
hazardous
to
the object
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