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
hazardous
の数値 1 引数は
物理
の
instance
では %n
(
domain
hazardous
2
Object
)
Geography.kif 5870-5870
hazardous
の数値 2 引数は
オブジェクト
の
instance
では %n
(
instance
hazardous
BinaryPredicate
)
Geography.kif 5871-5871
hazardous
は
2進述語
の
instance
では %n
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
は
hazardous
の
subrelation
では %n
(
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
物理
and
オブジェクト
ステートメント
エンティティー
エンティティー
は
損害を与える
の
instance
では %n
オブジェクト
は
エンティティー
の
patient
では %n
involvedInEvent
エンティティー
and
物理
物理
は
エンティティー
を
cause
s %n{ない} には
Possibility
の
modal
force
が ある
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
工程
は
HeavySurf
の
instance
では %n
オブジェクト
は
水域
の
instance
では %n
eventLocated
工程
and
オブジェクト
工程
AutonomousAgent
工程
は
水泳
の
instance
では %n
AutonomousAgent
は
人[人間]
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
eventLocated
工程
and
オブジェクト
hazardous
工程
and
AutonomousAgent
は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
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
物理
and
オブジェクト
工程
オブジェクト
工程
は
WaterTransportation
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
eventLocated
工程
and
オブジェクト
物理
は
オブジェクト
に
located
して %n
hazardous
物理
and
オブジェクト
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