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
O argumento numero 1 de
hazardous
e' uma
instancia
de
Fisico
(
domain
hazardous
2
Object
)
Geography.kif 5870-5870
O argumento numero 2 de
hazardous
e' uma
instancia
de
Objeto
(
instance
hazardous
BinaryPredicate
)
Geography.kif 5871-5871
hazardous
e' uma
instancia
de
Predicado Binario
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
e' uma
sub
-relacao 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
Fisico
and
Objeto
o argumento
Entidade
Entidade
e' uma
instancia
de
Causar Dano
Objeto
e' um
patient
de
Entidade
involvedInEvent
Entidade
and
Fisico
Fisico
causa
Entidade
tem a
forca
modal
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
Processo
e' uma
instancia
de
HeavySurf
Objeto
e' uma
instancia
de
Area Aquatica
eventLocated
Processo
and
Objeto
Processo
AutonomousAgent
Processo
e' uma
instancia
de
Nadar
AutonomousAgent
e' uma
instancia
de
Humano
Processo
e' um
agente
de
AutonomousAgent
eventLocated
Processo
and
Objeto
hazardous
Processo
and
AutonomousAgent
vale
durante
tempo
de existencia de
Processo
(=>
(
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
Fisico
and
Objeto
Processo
Objeto
Processo
e' uma
instancia
de
WaterTransportation
Objeto
e' um
instrumento
para
Processo
eventLocated
Processo
and
Objeto
Fisico
e'
situado
em
Objeto
hazardous
Fisico
and
Objeto
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