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
connects
Sigma KEE - connects
connects
appearance as argument number 1
(
documentation
connects
ChineseLanguage
"这是一个联系三样东西的关系,它出现在当三样东西之中的一个把 另外的两个联系起来的时候,更正规的说,(
connects
?OBJ1 ?OBJ2 ?OBJ3)的意思是 (
connected
?OBJ1 ?OBJ2)和(
connected
?OBJ1 ?OBJ3),而不是(
connected
?OBJ2 ?OBJ3)。")
chinese_format.kif 2825-2827
(
documentation
connects
EnglishLanguage
"The relationship between three things, when one of the three things connects the other two. More formally, (
connects
?OBJ1 ?OBJ2 ?OBJ3) means that (
connected
?OBJ1 ?OBJ2) and (
connected
?OBJ1 ?OBJ3) and not (
connected
?OBJ2 ?OBJ3).")
Merge.kif 9533-9536
(
documentation
connects
JapaneseLanguage
"3つの物事の関係は、3つのうちの1つが他の2つを接続 するときである。より正式には、(
connects
?OBJ1 ?OBJ2 ?OBJ3) とは、 (
connected
?OBJ1 ?OBJ2) および (
connected
?OBJ1 ?OBJ3) で、(
connected
?OBJ2 ?OBJ3) ではない、という意味である。")
japanese_format.kif 1567-1569
(
domain
connects
1
Object
)
Merge.kif 9529-9529
连接
的 1 数量 是
客体
的
instance
(
domain
connects
2
Object
)
Merge.kif 9530-9530
连接
的 2 数量 是
客体
的
instance
(
domain
connects
3
Object
)
Merge.kif 9531-9531
连接
的 3 数量 是
客体
的
instance
(
instance
connects
SpatialRelation
)
Merge.kif 9527-9527
连接
是
空间关系
的
instance
(
instance
connects
TernaryPredicate
)
Merge.kif 9528-9528
连接
是
三元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
connects
"%1 %n{doesn't}
connects
%2 和 %3")
chinese_format.kif 363-363
(
format
EnglishLanguage
connects
"%1 %n{doesn't} connect%p{s} %2 and %3")
english_format.kif 366-366
(
format
FrenchLanguage
connects
"%1 %n{ne} relie %n{pas} %2 et %3")
french_format.kif 210-210
(
format
ItalianLanguage
connects
"%1 connette %2 e %3")
relations-it.txt 54-54
(
format
JapaneseLanguage
connects
"%1 は %2 と %3 に connect%p{s} %n{ない}")
japanese_format.kif 2017-2017
(
format
PortugueseLanguage
connects
"%1 %n{nao} conecta %n %2 e %3")
portuguese_format.kif 162-162
(
format
cb
connects
"%1 ikabit %2 ug %3")
relations-cb.txt 88-88
(
format
cz
connects
"%1 %n{ne}spojuje %2 a %3")
relations-cz.txt 217-217
(
format
de
connects
"%1 schleisst %2 und %3 an")
relations-de.txt 483-483
(
format
hi
connects
"%1 %2 aura %3 ko jodataa hai")
relations-hindi.txt 95-95
(
format
ro
connects
"%1 %n{nu} connect%t{îmbinã} %2 ºi %3")
relations-ro.kif 230-230
(
format
sv
connects
"%1 sammanlänkar %n{inte} %2 och %3")
relations-sv.txt 227-227
(
format
tg
connects
"%1 nagkakabit %2 at %3")
relations-tg.txt 124-124
(
subrelation
connectsEngineeringComponents
connects
)
Merge.kif 16157-16157
连接工程子组件
是
连接
的
subrelation
(
termFormat
ChineseLanguage
connects
"连接")
chinese_format.kif 364-364
(
termFormat
ChineseTraditionalLanguage
connects
"連接")
domainEnglishFormat.kif 16661-16661
(
termFormat
EnglishLanguage
connects
"connects")
domainEnglishFormat.kif 16660-16660
(
termFormat
tg
connects
"nagkakabit")
relations-tg.txt 125-125
antecedent
(=>
(
and
(
connects
?A ?NODE1 ?NODE2)
(
abstractCounterpart
?N1 ?NODE1)
(
abstractCounterpart
?N2 ?NODE2)
(
abstractCounterpart
?ARC ?A))
(
links
?N1 ?N2 ?ARC))
Transportation.kif 2870-2876
如果
客体
connects
另一个 客体
和
第三 客体
和
那个 另外 客体
的
abstract
counterpart
是
图节点
和
那个 第三 客体
的
abstract
counterpart
是
另一个 图节点
和
那个 客体
的
abstract
counterpart
是
那个 客体
RC ,
然后
那个 客体
RC
links
那个 图节点
和
那个 另外 图节点
(=>
(
and
(
instance
?body1
BodyOfWater
)
(
instance
?body2
BodyOfWater
)
(
connects
?strait ?body1 ?body2))
(
larger
?body1 ?strait))
Geography.kif 5305-5310
如果
客体
是
水体
的
instance
和
另一个 客体
是
水体
的
instance
和
第三 客体
connects
那个 客体
和
那个 另外 客体
,
然后
那个 客体
larger
那个 第三 客体
(=>
(
connects
?ARC ?NODE1 ?NODE2)
(
connects
?ARC ?NODE2 ?NODE1))
Merge.kif 9562-9564
如果
客体
connects
另一个 客体
和
第三 客体
,
然后
那个 客体
connects
那个 第三 客体
和
那个 另外 客体
(=>
(
connects
?BETWEEN ?END1 ?END2)
(
not
(
equal
?END1 ?END2)))
Geography.kif 5288-5290
如果
客体
connects
另一个 客体
和
第三 客体
,
然后
那个 另外 客体
不
equal
那个 第三 客体
(=>
(
connects
?OBJ1 ?OBJ2 ?OBJ3)
(
and
(
connected
?OBJ1 ?OBJ2)
(
connected
?OBJ1 ?OBJ3)
(
not
(
connected
?OBJ2 ?OBJ3))))
Merge.kif 9546-9552
如果
客体
connects
另一个 客体
和
第三 客体
,
然后
那个 客体
和
那个 另外 客体
是
connected
和
那个 客体
和
那个 第三 客体
是
connected
和
那个 另外 客体
和
那个 第三 客体
不 是
connected
(=>
(
connects
?OBJ1 ?OBJ2 ?OBJ3)
(
between
?OBJ2 ?OBJ1 ?OBJ3))
Merge.kif 9538-9540
如果
客体
connects
另一个 客体
和
第三 客体
,
然后
那个 客体
是在
那个 另外 客体
和
那个 第三 客体
between
consequent
(=>
(
and
(
connected
?OBJ1 ?OBJ2)
(
connected
?OBJ1 ?OBJ3)
(
not
(
connected
?OBJ2 ?OBJ3)))
(
connects
?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 9554-9560
如果
客体
和
另一个 客体
是
connected
和
那个 客体
和
第三 客体
是
connected
和
那个 另外 客体
和
那个 第三 客体
不 是
connected
,
然后
那个 客体
connects
那个 另外 客体
和
那个 第三 客体
(=>
(
and
(
instance
?LEVEL1
BuildingLevel
)
(
instance
?LEVEL2
BuildingLevel
)
(
instance
?BUILDING
Building
)
(
part
?LEVEL1 ?BUILDING)
(
part
?LEVEL2 ?BUILDING))
(
exists
(?STEPS)
(
and
(
instance
?STEPS
Steps
)
(
connects
?STEPS ?LEVEL1 ?LEVEL2))))
Mid-level-ontology.kif 15097-15107
如果
客体
是
建设水平
的
instance
和
另一个 客体
是
建设水平
的
instance
和
第三 客体
是
建筑物
的
instance
和
那个 客体
是
那个 第三 客体
的
part
和
那个 另外 客体
是
那个 第三 客体
的
part
,
然后 有存在
第四 客体
这样
那个 第四 客体
是
脚步
的
instance
和
那个 第四 客体
connects
那个 客体
和
那个 另外 客体
(=>
(
and
(
instance
?POKE
Poking
)
(
agent
?POKE ?AGENT)
(
patient
?POKE ?OBJ)
(
instrument
?POKE ?INST))
(
holdsDuring
(
WhenFn
?POKE)
(
connects
?INST ?AGENT ?OBJ)))
Merge.kif 12335-12341
如果
过程
是
刺
的
instance
和
施事体
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
和
客体
是导致
那个 过程
的
instrument
,
然后
那个 客体
connects
那个 施事体
和
那个 实体
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?S
Soldering
)
(
patient
?S ?OBJ1)
(
patient
?S ?OBJ2)
(
not
(
equal
?OBJ1 ?OBJ2)))
(
exists
(?A)
(
and
(
instance
?A
MetallicAlloy
)
(
connects
?A ?OBJ1 ?OBJ2))))
Mid-level-ontology.kif 5630-5639
如果
过程
是
焊接
的
instance
和
客体
是
那个 过程
的
patient
和
另一个 客体
是
那个 过程
的
patient
和
那个 客体
不
equal
那个 另外 客体
,
然后 有存在
第三 客体
这样
那个 第三 客体
是
金属合金
的
instance
和
那个 第三 客体
connects
那个 客体
和
那个 另外 客体
(=>
(
and
(
instance
?S
Stairway
)
(
part
?S ?B)
(
instance
?B
Building
))
(
hasPurpose
?S
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
BuildingLevel
)
(
instance
?L2
BuildingLevel
)
(
part
?L1 ?B)
(
part
?L2 ?B)
(
connects
?S ?L1 ?L2)))))
Mid-level-ontology.kif 15073-15085
如果
客体
是
楼梯
的
instance
和
那个 客体
是
另一个 客体
的
part
和
那个 另外 客体
是
建筑物
的
instance
,
然后
那个 客体
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
建设水平
的
instance
和
那个 另外 实体
是
建设水平
的
instance
和
那个 实体
是
那个 另外 客体
的
part
和
那个 另外 实体
是
那个 另外 客体
的
part
和
那个 客体
connects
那个 实体
和
那个 另外 实体
(=>
(
and
(
instance
?SM
StripMall
)
(
instance
?RS1
RetailStore
)
(
part
?RS1 ?SM)
(
instance
?RS2
RetailStore
)
(
part
?RS2 ?SM)
(
not
(
equal
?RS1 ?RS2)))
(
not
(
exists
(?H)
(
and
(
instance
?H
Hallway
)
(
connects
?RS1 ?H ?RS2)))))
Medicine.kif 5132-5145
如果
客体
是
StripMall
的
instance
和
另一个 客体
是
零售店
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
第三 客体
是
零售店
的
instance
和
那个 第三 客体
是
那个 客体
的
part
和
那个 另外 客体
不
equal
那个 第三 客体
,
然后 不存在
第四 客体
这样
那个 第四 客体
是
门厅
的
instance
和
那个 另外 客体
connects
那个 第四 客体
和
那个 第三 客体
(=>
(
and
(
instance
?SYSTEM
InlandWaterSystem
)
(
instance
?WATER1
WaterArea
)
(
instance
?WATER2
WaterArea
)
(
not
(
equal
?WATER1 ?WATER2))
(
not
(
connected
?WATER1 ?WATER2))
(
geographicSubregion
?WATER1 ?SYSTEM)
(
geographicSubregion
?WATER2 ?SYSTEM))
(
exists
(?WATER3)
(
and
(
instance
?WATER3
WaterArea
)
(
not
(
equal
?WATER3 ?WATER1))
(
not
(
equal
?WATER3 ?WATER1))
(
part
?WATER3 ?SYSTEM)
(
connects
?WATER3 ?WATER1 ?WATER2))))
Geography.kif 5380-5395
如果
地理区域
是
内陆水系统
的
instance
和
另一个 地理区域
是
水域
的
instance
和
第三 地理区域
是
水域
的
instance
和
那个 另外 地理区域
不
equal
那个 第三 地理区域
和
那个 另外 地理区域
和
那个 第三 地理区域
不 是
connected
和
那个 另外 地理区域
是
那个 地理区域
的
geographic
次要地区 和
那个 第三 地理区域
是
那个 地理区域
的
geographic
次要地区,
然后 有存在
客体
这样
那个 客体
是
水域
的
instance
和
那个 客体
不
equal
那个 另外 地理区域
和
那个 客体
不
equal
那个 另外 地理区域
和
那个 客体
是
那个 地理区域
的
part
和
那个 客体
connects
那个 另外 地理区域
和
那个 第三 地理区域
(=>
(
and
(
muscleInsertion
?MC ?BPC)
(
instance
?H
Human
)
(
attribute
?H
Healthy
))
(
exists
(?M ?BP)
(
and
(
instance
?M ?MC)
(
instance
?BP ?BPC)
(
part
?M ?H)
(
part
?BP ?H)
(
connects
?M ?BP))))
Anatomy.kif 1745-1756
如果
muscleInsertion
有点 肌肉
and
有点 身体部位
和
客体
是
人类
的
instance
和
Healthy
是
那个 客体
的
attribute
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是
有点 肌肉
的
instance
和
那个 第三 客体
是
有点 身体部位
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
那个 第三 客体
是
那个 客体
的
part
和
那个 另外 客体
connects
那个 第三 客体
和
(=>
(
and
(
muscleOrigin
?MC ?BPC)
(
instance
?H
Human
)
(
attribute
?H
Healthy
))
(
exists
(?M ?BP)
(
and
(
instance
?M ?MC)
(
instance
?BP ?BPC)
(
part
?M ?H)
(
part
?BP ?H)
(
connects
?M ?BP))))
Anatomy.kif 1695-1706
如果
muscleOrigin
有点 肌肉
and
有点 身体部位
和
客体
是
人类
的
instance
和
Healthy
是
那个 客体
的
attribute
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是
有点 肌肉
的
instance
和
那个 第三 客体
是
有点 身体部位
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
那个 第三 客体
是
那个 客体
的
part
和
那个 另外 客体
connects
那个 第三 客体
和
(=>
(
between
?OBJ2 ?OBJ1 ?OBJ3)
(
connects
?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 9542-9544
如果
客体
是在
另一个 客体
和
第三 客体
between
,
然后
那个 客体
connects
那个 另外 客体
和
那个 第三 客体
(=>
(
connects
?ARC ?NODE1 ?NODE2)
(
connects
?ARC ?NODE2 ?NODE1))
Merge.kif 9562-9564
如果
客体
connects
另一个 客体
和
第三 客体
,
然后
那个 客体
connects
那个 第三 客体
和
那个 另外 客体
(=>
(
instance
?C
Capillary
)
(
exists
(?A ?V)
(
and
(
instance
?A
Artery
)
(
instance
?V
Vein
)
(
connects
?C ?A ?V))))
Mid-level-ontology.kif 11178-11184
如果
客体
是
毛细管
的
instance
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是
动脉
的
instance
和
那个 第三 客体
是
静脉
的
instance
和
那个 客体
connects
那个 另外 客体
和
那个 第三 客体
(=>
(
instance
?C
Curb
)
(
exists
(?S ?R)
(
and
(
instance
?S
Sidewalk
)
(
instance
?R
Roadway
)
(
connects
?C ?S ?R))))
Mid-level-ontology.kif 15051-15057
如果
客体
是
抑制
的
instance
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是
人行道
的
instance
和
那个 第三 客体
是
巷道
的
instance
和
那个 客体
connects
那个 另外 客体
和
那个 第三 客体
(=>
(
instance
?CHANNEL
Canal
)
(
exists
(?WATER1 ?WATER2)
(
and
(
instance
?WATER1
WaterArea
)
(
instance
?WATER2
WaterArea
)
(
connects
?CHANNEL ?WATER1 ?WATER2))))
Geography.kif 5599-5605
如果
客体
是
运河
的
instance
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是
水域
的
instance
和
那个 第三 客体
是
水域
的
instance
和
那个 客体
connects
那个 另外 客体
和
那个 第三 客体
(=>
(
instance
?CHANNEL
Channel
)
(
exists
(?WATER1 ?WATER2)
(
and
(
instance
?WATER1
WaterArea
)
(
instance
?WATER2
WaterArea
)
(
connects
?CHANNEL ?WATER1 ?WATER2))))
Geography.kif 5322-5328
如果
客体
是
渠道
的
instance
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是
水域
的
instance
和
那个 第三 客体
是
水域
的
instance
和
那个 客体
connects
那个 另外 客体
和
那个 第三 客体
(=>
(
instance
?FORK
StreamWaterConfluence
)
(
exists
(?STREAM ?BRANCH)
(
and
(
instance
?STREAM
River
)
(
instance
?BRANCH
StreamWaterArea
)
(
flows
?BRANCH ?STREAM)
(
connects
?FORK ?STREAM ?BRANCH))))
Geography.kif 5498-5505
如果
客体
是
流水汇流
的
instance
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是
河
的
instance
和
那个 第三 客体
是
溪水区
的
instance
和
那个 另外 客体
是
那个 第三 客体
的
flows
和
那个 客体
connects
那个 另外 客体
和
那个 第三 客体
(=>
(
instance
?FORK
StreamWaterConfluence
)
(
exists
(?STREAM1 ?STREAM2)
(
and
(
instance
?STREAM1
StreamWaterArea
)
(
connects
?FORK ?STREAM1 ?STREAM2)
(
instance
?STREAM2
StreamWaterArea
)
(
flows
?STREAM1 ?STREAM2))))
Geography.kif 5489-5496
如果
客体
是
流水汇流
的
instance
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是
溪水区
的
instance
和
那个 客体
connects
那个 另外 客体
和
那个 第三 客体
和
那个 第三 客体
是
溪水区
的
instance
和
那个 第三 客体
是
那个 另外 客体
的
flows
(=>
(
instance
?HINGE
Hinge
)
(
hasPurpose
?HINGE
(
exists
(?OBJ1 ?OBJ2)
(
and
(
connects
?HINGE ?OBJ1 ?OBJ2)
(
or
(
capability
Rotating
patient
?OBJ1)
(
capability
Rotating
patient
?OBJ2))))))
Mid-level-ontology.kif 15276-15284
如果
物理
是
合页
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 物理
connects
那个 实体
和
那个 另外 实体
和
那个 实体
能够担当
受事
的角色做
旋转
或
那个 另外 实体
能够担当
受事
的角色做
旋转
(=>
(
instance
?J
BodyJoint
)
(
exists
(?S ?P1 ?P2)
(
and
(
instance
?S
Skeleton
)
(
component
?P1 ?S)
(
component
?P2 ?S)
(
component
?J ?S)
(
connects
?J ?P1 ?P2))))
Mid-level-ontology.kif 11707-11715
如果
躯体性物体
是
身体关节
的
instance
,
然后 有存在
另一个 躯体性物体
,
第三 躯体性物体
, and 和
第四 躯体性物体
这样
那个 另外 躯体性物体
是
骨架
的
instance
和
那个 第三 躯体性物体
是
那个 另外 躯体性物体
的
component
和
那个 第四 躯体性物体
是
那个 另外 躯体性物体
的
component
和
那个 躯体性物体
是
那个 另外 躯体性物体
的
component
和
那个 躯体性物体
connects
那个 第三 躯体性物体
和
那个 第四 躯体性物体
(=>
(
instance
?JUNCT
BodyJunction
)
(
exists
(?OBJ1 ?OBJ2)
(
and
(
instance
?OBJ1
BodyPart
)
(
instance
?OBJ2
BodyPart
)
(
connects
?JUNCT ?OBJ1 ?OBJ2))))
Merge.kif 15090-15096
如果
客体
是
身体连接处
的
instance
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是
身体部位
的
instance
和
那个 第三 客体
是
身体部位
的
instance
和
那个 客体
connects
那个 另外 客体
和
那个 第三 客体
(=>
(
instance
?NOS
Nostril
)
(
exists
(?N ?T)
(
and
(
instance
?N
Nose
)
(
instance
?T
Throat
)
(
connects
?NOS ?N ?T))))
Mid-level-ontology.kif 11327-11333
如果
客体
是
鼻孔
的
instance
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是
鼻子
的
instance
和
那个 第三 客体
是
喉
的
instance
和
那个 客体
connects
那个 另外 客体
和
那个 第三 客体
(=>
(
instance
?SEA
Sea
)
(
exists
(?OCEAN ?PATH)
(
and
(
instance
?OCEAN
Ocean
)
(
instance
?PATH
WaterArea
)
(
connects
?PATH ?OCEAN ?SEA))))
Geography.kif 4783-4789
如果
客体
是
海
的
instance
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是
海洋
的
instance
和
那个 第三 客体
是
水域
的
instance
和
那个 第三 客体
connects
那个 另外 客体
和
那个 客体
(=>
(
instance
?T
Tendon
)
(
exists
(?M ?B)
(
and
(
instance
?M
Muscle
)
(
instance
?B
Bone
)
(
connects
?T ?M ?B))))
Mid-level-ontology.kif 9449-9455
如果
客体
是
肌腱
的
instance
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是
肌肉
的
instance
和
那个 第三 客体
是
骨骼
的
instance
和
那个 客体
connects
那个 另外 客体
和
那个 第三 客体
(=>
(
instance
?TL
TelephoneLine
)
(
exists
(?T1 ?T2)
(
and
(
or
(
instance
?T1
Telephone
)
(
instance
?T1
Telegraph
))
(
or
(
instance
?T2
Telephone
)
(
instance
?T2
Telegraph
))
(
not
(
equal
?T1 ?T2))
(
connects
?TL ?T1 ?T2))))
Mid-level-ontology.kif 3637-3648
如果
客体
是
电话线
的
instance
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是
电话
的
instance
或
那个 另外 客体
是
电报
的
instance
和
那个 第三 客体
是
电话
的
instance
或
那个 第三 客体
是
电报
的
instance
和
那个 另外 客体
不
equal
那个 第三 客体
和
那个 客体
connects
那个 另外 客体
和
那个 第三 客体
(=>
(
instance
?X
WaterSkiing
)
(
exists
(?HUMAN ?SKI ?BOAT ?LINE ?WATER ?TRANS ?MOTION)
(
and
(
instance
?BOAT
WaterVehicle
)
(
instance
?WATER
WaterArea
)
(
instance
?SKI
WaterSki
)
(
eventLocated
?X ?WATER)
(
instance
?HUMAN
Human
)
(
located
?HUMAN ?SKI)
(
connects
?LINE ?HUMAN ?BOAT)
(
instance
?TRANS
Transportation
)
(
instrument
?TRANS ?BOAT)
(
instance
?MOTION
Motion
)
(
agent
?MOTION ?HUMAN)
(
instrument
?MOTION ?SKI)
(
causes
?TRANS ?MOTION)
(
subProcess
?MOTION ?X))))
Sports.kif 1246-1263
如果
过程
是
WaterSkiing
的
instance
,
然后 有存在
施事体
,
客体
,, ,
另一个 客体
,, ,
第三 客体
,, ,
第四 客体
,, ,
另一个 过程
, and 和
第三 过程
这样
那个 另外 客体
是
水车
的
instance
和
那个 第四 客体
是
水域
的
instance
和
那个 客体
是
WaterSki
的
instance
和
那个 过程
是
located
在
那个 第四 客体
和
那个 施事体
是
人类
的
instance
和
那个 施事体
是
located
在
那个 客体
和
那个 第三 客体
connects
那个 施事体
和
那个 另外 客体
和
那个 另外 过程
是
运输
的
instance
和
那个 另外 客体
是导致
那个 另外 过程
的
instrument
和
那个 第三 过程
是
运动
的
instance
和
那个 施事体
是
那个 第三 过程
的
agent
和
那个 客体
是导致
那个 第三 过程
的
instrument
和
那个 另外 过程
causes
那个 第三 过程
和
那个 第三 过程
%n是
那个 过程
的
subProcess
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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