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 9555-9558
(
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 9551-9551
域
連接
, 1 and
Object
(
domain
connects
2
Object
)
Merge.kif 9552-9552
域
連接
, 2 and
Object
(
domain
connects
3
Object
)
Merge.kif 9553-9553
域
連接
, 3 and
Object
(
instance
connects
SpatialRelation
)
Merge.kif 9549-9549
例
連接
and
SpatialRelation
(
instance
connects
TernaryPredicate
)
Merge.kif 9550-9550
例
連接
and
TernaryPredicate
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 16179-16179
子關係
連接工程組件
and
連接
(
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
連接
Object
,
Object
and
Object
Object
的
abstract
counterpart
是
GraphNode
Object
的
abstract
counterpart
是
GraphNode
Object
的
abstract
counterpart
是
Object
RC
鏈接
GraphNode
,
GraphNode
and
Object
RC
(=>
(
and
(
instance
?body1
BodyOfWater
)
(
instance
?body2
BodyOfWater
)
(
connects
?strait ?body1 ?body2))
(
larger
?body1 ?strait))
Geography.kif 5305-5310
例
Object
and
水體
例
Object
and
水體
連接
Object
,
Object
and
Object
更大
Object
and
Object
(=>
(
connects
?ARC ?NODE1 ?NODE2)
(
connects
?ARC ?NODE2 ?NODE1))
Merge.kif 9584-9586
連接
Object
,
Object
and
Object
連接
Object
,
Object
and
Object
(=>
(
connects
?BETWEEN ?END1 ?END2)
(
not
(
equal
?END1 ?END2)))
Geography.kif 5288-5290
連接
Object
,
Object
and
Object
等於
Object
and
Object
(=>
(
connects
?OBJ1 ?OBJ2 ?OBJ3)
(
and
(
connected
?OBJ1 ?OBJ2)
(
connected
?OBJ1 ?OBJ3)
(
not
(
connected
?OBJ2 ?OBJ3))))
Merge.kif 9568-9574
連接
Object
,
Object
and
Object
連接的
Object
and
Object
連接的
Object
and
Object
連接的
Object
and
Object
(=>
(
connects
?OBJ1 ?OBJ2 ?OBJ3)
(
between
?OBJ2 ?OBJ1 ?OBJ3))
Merge.kif 9560-9562
連接
Object
,
Object
and
Object
之間
Object
,
Object
and
Object
consequent
(=>
(
and
(
connected
?OBJ1 ?OBJ2)
(
connected
?OBJ1 ?OBJ3)
(
not
(
connected
?OBJ2 ?OBJ3)))
(
connects
?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 9576-9582
連接的
Object
and
Object
連接的
Object
and
Object
連接的
Object
and
Object
連接
Object
,
Object
and
Object
(=>
(
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 15096-15106
例
Object
and
建設水平
例
Object
and
建設水平
例
Object
and
Building
部分
Object
and
Object
部分
Object
and
Object
Object
例
Object
and
腳步
連接
Object
,
Object
and
Object
(=>
(
and
(
instance
?POKE
Poking
)
(
agent
?POKE ?AGENT)
(
patient
?POKE ?OBJ)
(
instrument
?POKE ?INST))
(
holdsDuring
(
WhenFn
?POKE)
(
connects
?INST ?AGENT ?OBJ)))
Merge.kif 12357-12363
例
Process
and
Poking
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
儀器
Process
and
Object
持有期間
何時
Process
and
連接
Object
,
AutonomousAgent
and
Entity
(=>
(
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 5629-5638
例
Process
and
焊接
患者
Process
and
Object
患者
Process
and
Object
等於
Object
and
Object
Object
例
Object
and
金屬合金
連接
Object
,
Object
and
Object
(=>
(
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 15072-15084
例
Object
and
樓梯
部分
Object
and
Object
例
Object
and
Building
有目的
Object
and
entity
entity
例
entity
and
建設水平
例
entity
and
建設水平
部分
entity
and
Object
部分
entity
and
Object
連接
Object
,
entity
and
entity
(=>
(
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
例
Object
and
StripMall
例
Object
and
零售店
部分
Object
and
Object
例
Object
and
零售店
部分
Object
and
Object
等於
Object
and
Object
Object
例
Object
and
門廳
連接
Object
,
Object
and
Object
(=>
(
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
例
GeographicArea
and
內陸水系統
例
GeographicArea
and
WaterArea
例
GeographicArea
and
WaterArea
等於
GeographicArea
and
GeographicArea
連接的
GeographicArea
and
GeographicArea
GeographicArea
是
GeographicArea
的
geographic
次要地區
GeographicArea
是
GeographicArea
的
geographic
次要地區
Object
例
Object
and
WaterArea
等於
Object
and
GeographicArea
等於
Object
and
GeographicArea
部分
Object
and
GeographicArea
連接
Object
,
GeographicArea
and
GeographicArea
(=>
(
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
Muscle
and
BodyPart
例
Object
and
Human
attribute
Object
and
Healthy
Object
Object
例
Object
and
Muscle
例
Object
and
BodyPart
部分
Object
and
Object
部分
Object
and
Object
連接
Object
and
Object
(=>
(
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
Muscle
and
BodyPart
例
Object
and
Human
attribute
Object
and
Healthy
Object
Object
例
Object
and
Muscle
例
Object
and
BodyPart
部分
Object
and
Object
部分
Object
and
Object
連接
Object
and
Object
(=>
(
between
?OBJ2 ?OBJ1 ?OBJ3)
(
connects
?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 9564-9566
之間
Object
,
Object
and
Object
連接
Object
,
Object
and
Object
(=>
(
connects
?ARC ?NODE1 ?NODE2)
(
connects
?ARC ?NODE2 ?NODE1))
Merge.kif 9584-9586
連接
Object
,
Object
and
Object
連接
Object
,
Object
and
Object
(=>
(
instance
?C
Capillary
)
(
exists
(?A ?V)
(
and
(
instance
?A
Artery
)
(
instance
?V
Vein
)
(
connects
?C ?A ?V))))
Mid-level-ontology.kif 11177-11183
例
Object
and
毛細管
Object
Object
例
Object
and
動脈
例
Object
and
靜脈
連接
Object
,
Object
and
Object
(=>
(
instance
?C
Curb
)
(
exists
(?S ?R)
(
and
(
instance
?S
Sidewalk
)
(
instance
?R
Roadway
)
(
connects
?C ?S ?R))))
Mid-level-ontology.kif 15050-15056
例
Object
and
抑制
Object
Object
例
Object
and
人行道
例
Object
and
巷道
連接
Object
,
Object
and
Object
(=>
(
instance
?CHANNEL
Canal
)
(
exists
(?WATER1 ?WATER2)
(
and
(
instance
?WATER1
WaterArea
)
(
instance
?WATER2
WaterArea
)
(
connects
?CHANNEL ?WATER1 ?WATER2))))
Geography.kif 5599-5605
例
Object
and
運河
Object
Object
例
Object
and
WaterArea
例
Object
and
WaterArea
連接
Object
,
Object
and
Object
(=>
(
instance
?CHANNEL
Channel
)
(
exists
(?WATER1 ?WATER2)
(
and
(
instance
?WATER1
WaterArea
)
(
instance
?WATER2
WaterArea
)
(
connects
?CHANNEL ?WATER1 ?WATER2))))
Geography.kif 5322-5328
例
Object
and
渠道
Object
Object
例
Object
and
WaterArea
例
Object
and
WaterArea
連接
Object
,
Object
and
Object
(=>
(
instance
?FORK
StreamWaterConfluence
)
(
exists
(?STREAM ?BRANCH)
(
and
(
instance
?STREAM
River
)
(
instance
?BRANCH
StreamWaterArea
)
(
flows
?BRANCH ?STREAM)
(
connects
?FORK ?STREAM ?BRANCH))))
Geography.kif 5498-5505
例
Object
and
流水匯流
Object
Object
例
Object
and
河
例
Object
and
StreamWaterArea
Object
是
Object
的
flows
連接
Object
,
Object
and
Object
(=>
(
instance
?FORK
StreamWaterConfluence
)
(
exists
(?STREAM1 ?STREAM2)
(
and
(
instance
?STREAM1
StreamWaterArea
)
(
connects
?FORK ?STREAM1 ?STREAM2)
(
instance
?STREAM2
StreamWaterArea
)
(
flows
?STREAM1 ?STREAM2))))
Geography.kif 5489-5496
例
Object
and
流水匯流
Object
Object
例
Object
and
StreamWaterArea
連接
Object
,
Object
and
Object
例
Object
and
StreamWaterArea
Object
是
Object
的
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 15275-15283
例
Physical
and
合頁
有目的
Physical
and
entity
entity
連接
Physical
,
entity
and
entity
能力
旋轉
,
患者
and
entity
能力
旋轉
,
患者
and
entity
(=>
(
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 11706-11714
例
CorpuscularObject
and
身體關節
CorpuscularObject
CorpuscularObject
and
CorpuscularObject
例
CorpuscularObject
and
骨架
零件
CorpuscularObject
and
CorpuscularObject
零件
CorpuscularObject
and
CorpuscularObject
零件
CorpuscularObject
and
CorpuscularObject
連接
CorpuscularObject
,
CorpuscularObject
and
CorpuscularObject
(=>
(
instance
?JUNCT
BodyJunction
)
(
exists
(?OBJ1 ?OBJ2)
(
and
(
instance
?OBJ1
BodyPart
)
(
instance
?OBJ2
BodyPart
)
(
connects
?JUNCT ?OBJ1 ?OBJ2))))
Merge.kif 15112-15118
例
Object
and
BodyJunction
Object
Object
例
Object
and
BodyPart
例
Object
and
BodyPart
連接
Object
,
Object
and
Object
(=>
(
instance
?NOS
Nostril
)
(
exists
(?N ?T)
(
and
(
instance
?N
Nose
)
(
instance
?T
Throat
)
(
connects
?NOS ?N ?T))))
Mid-level-ontology.kif 11326-11332
例
Object
and
鼻孔
Object
Object
例
Object
and
鼻子
例
Object
and
喉
連接
Object
,
Object
and
Object
(=>
(
instance
?SEA
Sea
)
(
exists
(?OCEAN ?PATH)
(
and
(
instance
?OCEAN
Ocean
)
(
instance
?PATH
WaterArea
)
(
connects
?PATH ?OCEAN ?SEA))))
Geography.kif 4783-4789
例
Object
and
海
Object
Object
例
Object
and
海洋
例
Object
and
WaterArea
連接
Object
,
Object
and
Object
(=>
(
instance
?T
Tendon
)
(
exists
(?M ?B)
(
and
(
instance
?M
Muscle
)
(
instance
?B
Bone
)
(
connects
?T ?M ?B))))
Mid-level-ontology.kif 9448-9454
例
Object
and
肌腱
Object
Object
例
Object
and
Muscle
例
Object
and
Bone
連接
Object
,
Object
and
Object
(=>
(
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
例
Object
and
電話線
Object
Object
例
Object
and
電話
例
Object
and
電報
例
Object
and
電話
例
Object
and
電報
等於
Object
and
Object
連接
Object
,
Object
and
Object
(=>
(
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 1247-1264
例
Process
and
WaterSkiing
AutonomousAgent
Object
,
Object
,
Object
,
Object
,
Process
and
Process
例
Object
and
水車
例
Object
and
WaterArea
例
Object
and
WaterSki
Process
是
located
在
Object
例
AutonomousAgent
and
Human
位於
AutonomousAgent
and
Object
連接
Object
,
AutonomousAgent
and
Object
例
Process
and
Transportation
儀器
Process
and
Object
例
Process
and
Motion
agent
Process
and
AutonomousAgent
儀器
Process
and
Object
原因
Process
and
Process
子過程
Process
and
Process
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