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
危险
的 1 数量 是
物理
的
instance
(
domain
hazardous
2
Object
)
Geography.kif 5870-5870
危险
的 2 数量 是
客体
的
instance
(
instance
hazardous
BinaryPredicate
)
Geography.kif 5871-5871
危险
是
二元谓语
的
instance
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
海上危险
是
危险
的
subrelation
(
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
如果
危险
物理
and
客体
,
然后 有存在
实体
这样
那个 实体
是
损坏
的
instance
和
那个 客体
是
那个 实体
的
patient
和
那个 物理
是事件
那个 实体
的
involved
或
那个 物理
causes
那个 实体
的声明 has
可能性
的语气
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
如果
过程
是
高激浪
的
instance
和
客体
是
水域
的
instance
和
那个 过程
是
located
在
那个 客体
,
然后 有存在
另一个 过程
和
施事体
这样
那个 另外 过程
是
游泳
的
instance
和
那个 施事体
是
人类
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 另外 过程
是
located
在
那个 客体
和
危险
那个 过程
and
那个 施事体
在
那个 过程
出现 的
time
holdsDuring
(=>
(
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
如果
海上危险
物理
and
客体
,
然后 有存在
过程
和
另一个 客体
这样
那个 过程
是
水运
的
instance
和
那个 客体
是导致
那个 过程
的
instrument
和
那个 过程
是
located
在
那个 另外 客体
和
那个 物理
是
located
在
那个 另外 客体
和
危险
那个 物理
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