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
eventPartlyLocated
MotionPictureScene
Sigma KEE - eventPartlyLocated
eventPartlyLocated
appearance as argument number 1
(
documentation
eventPartlyLocated
ChineseLanguage
"(
eventPartlyLocated
?PROC ?OBJ) 的意思是
Process
?PROC 的某些
subProcess
是位于
Object
?OBJ。")
chinese_format.kif 2113-2114
(
documentation
eventPartlyLocated
EnglishLanguage
"(
eventPartlyLocated
?PROC ?OBJ) means that some
subProcess
of
Process
?PROC is located in
Object
?OBJ.")
Merge.kif 4100-4101
(
documentation
eventPartlyLocated
JapaneseLanguage
"(
eventPartlyLocated
?PROC ?OBJ)とは、
Process
?PROC のいくつかの
subProcess
が
Object
?OBJ に位置していることを意味する。")
japanese_format.kif 765-766
(
domain
eventPartlyLocated
1
Process
)
Merge.kif 4097-4097
eventPartlyLocated
的 1 数量 是
过程
的
instance
(
domain
eventPartlyLocated
2
Object
)
Merge.kif 4098-4098
eventPartlyLocated
的 2 数量 是
客体
的
instance
(
instance
eventPartlyLocated
CaseRole
)
Merge.kif 4090-4090
eventPartlyLocated
是
格角色
的
instance
(
instance
eventPartlyLocated
PartialValuedRelation
)
Merge.kif 4091-4091
eventPartlyLocated
是
部分值关系
的
instance
(
subrelation
eventPartlyLocated
involvedInEvent
)
Merge.kif 4118-4118
eventPartlyLocated
是
参与活动
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
eventPartlyLocated
"%1 是
part
ly
located
在 %2 ")
domainEnglishFormat.kif 3330-3330
(
format
ChineseTraditionalLanguage
eventPartlyLocated
"%1 是
part
ly
located
在 %2 ")
domainEnglishFormat.kif 3329-3329
(
format
EnglishLanguage
eventPartlyLocated
"%1 is
part
ly
located
at %2")
domainEnglishFormat.kif 3328-3328
(
subrelation
eventLocated
eventPartlyLocated
)
Merge.kif 4120-4120
eventLocated
是
eventPartlyLocated
的
subrelation
(
subrelation
path
eventPartlyLocated
)
Merge.kif 11108-11108
路径
是
eventPartlyLocated
的
subrelation
(
termFormat
EnglishLanguage
eventPartlyLocated
"event partly located")
english_format.kif 1843-1843
antecedent
(=>
(
and
(
instance
?TSI
TwoStrokeIntake
)
(
instance
?C
Crankcase
)
(
eventPartlyLocated
?TSI ?C))
(
holdsDuring
?TSI
(
attribute
?C
PartialVacuum
)))
Cars.kif 477-483
如果
过程
是
TwoStrokeIntake
的
instance
和
客体
是
Crankcase
的
instance
和
那个 过程
是
partly
located
在
那个 客体
,
然后
PartialVacuum
是
那个 客体
的
attribute
在
那个 过程
holdsDuring
(=>
(
eventPartlyLocated
?PROC ?OBJ)
(
exists
(?SUB)
(
and
(
subProcess
?SUB ?PROC)
(
eventLocated
?SUB ?OBJ))))
Merge.kif 4103-4108
如果
过程
是
partly
located
在
客体
,
然后 有存在
另一个 过程
这样
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 另外 过程
是
located
在
那个 客体
(=>
(
eventPartlyLocated
?PROC ?OJB)
(
partlyLocated
?PROC ?OJB))
Merge.kif 4093-4095
如果
过程
是
partly
located
在
客体
,
然后
那个 过程
是
partlyLocated
在
那个 客体
consequent
(=>
(
and
(
instance
?X
CarAlarm
)
(
instance
?CAR
SelfPoweredRoadVehicle
)
(
part
?X ?CAR))
(
exists
(?HARM ?THIEF ?T ?L)
(
hasPurpose
?X
(=>
(
and
(
or
(
instance
?HARM
Stealing
)
(
instance
?HARM
Damaging
))
(
instance
?THIEF
Human
)
(
agent
?HARM ?THIEF)
(
patient
?HARM ?CAR)
(
equal
(
WhenFn
?HARM) ?T)
(
eventPartlyLocated
?HARM ?L))
(
exists
(?ALARM)
(
and
(
instance
?ALARM
RadiatingSound
)
(
agent
?ALARM ?X)
(
causes
?HARM ?ALARM)
(
hasPurpose
?ALARM
(
increasesLikelihood
(
exists
(?WITNESS)
(
and
(
instance
?WITNESS
Human
)
(
holdsDuring
?T
(
orientation
?WITNESS ?L
Near
))))
(
or
(
knows
?WITNESS
(
exists
(?H)
(
and
(
or
(
instance
?H
Stealing
)
(
instance
?H
Damaging
))
(
eventPartlyLocated
?H ?L)
(
holdsDuring
?T
(
patient
?H ?CAR)))))
(
finishes
(
WhenFn
?ALARM)
(
WhenFn
?HARM)))))))))))
Cars.kif 3695-3736
如果
客体
是
CarAlarm
的
instance
和
另一个 客体
是
自供电公路车辆
的
instance
和
那个 客体
是
那个 另外 客体
的
part
,
然后 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 客体
的 目的 是
如果
那个 实体
是
偷窃行为
的
instance
或
那个 实体
是
损坏
的
instance
和
那个 另外 实体
是
人类
的
instance
和
那个 另外 实体
是
那个 实体
的
agent
和
那个 另外 客体
是
那个 实体
的
patient
和
那个 实体
出现 的
time
equal
那个 第三 实体
和
那个 实体
是
partly
located
在
那个 第四 实体
,
然后 有存在
第五 实体
这样
那个 第五 实体
是
放射声音
的
instance
和
那个 客体
是
那个 第五 实体
的
agent
和
那个 实体
causes
那个 第五 实体
和
那个 第五 实体
的 目的 是 有存在
第六 实体
这样
那个 第六 实体
是
人类
的
instance
和
那个 第六 实体
在
那个 第四 实体
的
近
在
那个 第三 实体
holdsDuring
增加
那个 第六 实体
knows
有存在
第七 实体
这样
那个 第七 实体
是
偷窃行为
的
instance
或
那个 第七 实体
是
损坏
的
instance
和
那个 第七 实体
是
partly
located
在
那个 第四 实体
和
那个 另外 客体
是
那个 第七 实体
的
patient
在
那个 第三 实体
holdsDuring
或
那个 第五 实体
出现 的
time
finishes
了才到
那个 实体
出现 的
time
发生的机率
(=>
(
and
(
surfaceWindVelocity
?PLACE
(
SpeedFn
?DIST ?TIME) ?DIRECTION)
(
instance
?PLACE
WindFlow
))
(
exists
(?BLOW)
(
and
(
instance
?BLOW
Wind
)
(
eventPartlyLocated
?BLOW ?PLACE)
(
measure
?BLOW
(
VelocityFn
?DIST ?TIME ?PLACE ?DIRECTION)))))
Weather.kif 115-123
如果
地区
是 对于
方向属性
的
surface
风速率
长度测量
除以
持续时间
和
那个 地区
是
大气气流
的
instance
,
然后 有存在
过程
这样
那个 过程
是
风
的
instance
和
那个 过程
是
partly
located
在
那个 地区
和
那个 过程
的
measure
是
那个 长度测量
除以
那个 持续时间
在
那个 地区
处往
那个 方向属性
方向
(=>
(
destination
?PROCESS ?LOC)
(
eventPartlyLocated
?PROCESS ?LOC))
Merge.kif 4114-4116
如果
过程
在
客体
结束,
然后
那个 过程
是
partly
located
在
那个 客体
(=>
(
origin
?PROCESS ?LOC)
(
eventPartlyLocated
?PROCESS ?LOC))
Merge.kif 4110-4112
如果
客体
是
过程
的源头,
然后
那个 过程
是
partly
located
在
那个 客体
(=>
(
surfaceWindDirection
?PLACE ?DIR)
(
exists
(?WIND ?FROM)
(
and
(
instance
?WIND
Wind
)
(
instance
?FROM
Region
)
(
eventPartlyLocated
?WIND ?PLACE)
(
origin
?WIND ?FROM)
(
orientation
?FROM ?PLACE ?DIR))))
Weather.kif 166-174
如果
方向属性
是
客体
的
surface
风向,
然后 有存在
过程
和
另一个 客体
这样
那个 过程
是
风
的
instance
和
那个 另外 客体
是
地区
的
instance
和
那个 过程
是
partly
located
在
那个 客体
和
那个 另外 客体
是
那个 过程
的源头 和
那个 另外 客体
在
那个 客体
的
那个 方向属性
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