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 9569-9572
(
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 9565-9565
(
domain
connects
2
Object
)
Merge.kif 9566-9566
(
domain
connects
3
Object
)
Merge.kif 9567-9567
(
instance
connects
SpatialRelation
)
Merge.kif 9563-9563
(
instance
connects
TernaryPredicate
)
Merge.kif 9564-9564
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 16228-16228
(
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 2903-2909
(=>
(
and
(
instance
?body1
BodyOfWater
)
(
instance
?body2
BodyOfWater
)
(
connects
?strait ?body1 ?body2))
(
larger
?body1 ?strait))
Geography.kif 5305-5310
(=>
(
connects
?ARC ?NODE1 ?NODE2)
(
connects
?ARC ?NODE2 ?NODE1))
Merge.kif 9598-9600
(=>
(
connects
?BETWEEN ?END1 ?END2)
(
not
(
equal
?END1 ?END2)))
Geography.kif 5288-5290
(=>
(
connects
?OBJ1 ?OBJ2 ?OBJ3)
(
and
(
connected
?OBJ1 ?OBJ2)
(
connected
?OBJ1 ?OBJ3)
(
not
(
connected
?OBJ2 ?OBJ3))))
Merge.kif 9582-9588
(=>
(
connects
?OBJ1 ?OBJ2 ?OBJ3)
(
between
?OBJ2 ?OBJ1 ?OBJ3))
Merge.kif 9574-9576
consequent
(=>
(
and
(
connected
?OBJ1 ?OBJ2)
(
connected
?OBJ1 ?OBJ3)
(
not
(
connected
?OBJ2 ?OBJ3)))
(
connects
?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 9590-9596
(=>
(
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 15124-15134
(=>
(
and
(
instance
?POKE
Poking
)
(
agent
?POKE ?AGENT)
(
patient
?POKE ?OBJ)
(
instrument
?POKE ?INST))
(
holdsDuring
(
WhenFn
?POKE)
(
connects
?INST ?AGENT ?OBJ)))
Merge.kif 12381-12387
(=>
(
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 5624-5633
(=>
(
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 15100-15112
(=>
(
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
(=>
(
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
(=>
(
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
(=>
(
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
(=>
(
between
?OBJ2 ?OBJ1 ?OBJ3)
(
connects
?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 9578-9580
(=>
(
connects
?ARC ?NODE1 ?NODE2)
(
connects
?ARC ?NODE2 ?NODE1))
Merge.kif 9598-9600
(=>
(
instance
?C
Capillary
)
(
exists
(?A ?V)
(
and
(
instance
?A
Artery
)
(
instance
?V
Vein
)
(
connects
?C ?A ?V))))
Mid-level-ontology.kif 11205-11211
(=>
(
instance
?C
Curb
)
(
exists
(?S ?R)
(
and
(
instance
?S
Sidewalk
)
(
instance
?R
Roadway
)
(
connects
?C ?S ?R))))
Mid-level-ontology.kif 15078-15084
(=>
(
instance
?CHANNEL
Canal
)
(
exists
(?WATER1 ?WATER2)
(
and
(
instance
?WATER1
WaterArea
)
(
instance
?WATER2
WaterArea
)
(
connects
?CHANNEL ?WATER1 ?WATER2))))
Geography.kif 5599-5605
(=>
(
instance
?CHANNEL
Channel
)
(
exists
(?WATER1 ?WATER2)
(
and
(
instance
?WATER1
WaterArea
)
(
instance
?WATER2
WaterArea
)
(
connects
?CHANNEL ?WATER1 ?WATER2))))
Geography.kif 5322-5328
(=>
(
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
?FORK
StreamWaterConfluence
)
(
exists
(?STREAM1 ?STREAM2)
(
and
(
instance
?STREAM1
StreamWaterArea
)
(
connects
?FORK ?STREAM1 ?STREAM2)
(
instance
?STREAM2
StreamWaterArea
)
(
flows
?STREAM1 ?STREAM2))))
Geography.kif 5489-5496
(=>
(
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 15303-15311
(=>
(
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 11734-11742
(=>
(
instance
?JUNCT
BodyJunction
)
(
exists
(?OBJ1 ?OBJ2)
(
and
(
instance
?OBJ1
BodyPart
)
(
instance
?OBJ2
BodyPart
)
(
connects
?JUNCT ?OBJ1 ?OBJ2))))
Merge.kif 15136-15142
(=>
(
instance
?NOS
Nostril
)
(
exists
(?N ?T)
(
and
(
instance
?N
Nose
)
(
instance
?T
Throat
)
(
connects
?NOS ?N ?T))))
Mid-level-ontology.kif 11354-11360
(=>
(
instance
?SEA
Sea
)
(
exists
(?OCEAN ?PATH)
(
and
(
instance
?OCEAN
Ocean
)
(
instance
?PATH
WaterArea
)
(
connects
?PATH ?OCEAN ?SEA))))
Geography.kif 4783-4789
(=>
(
instance
?T
Tendon
)
(
exists
(?M ?B)
(
and
(
instance
?M
Muscle
)
(
instance
?B
Bone
)
(
connects
?T ?M ?B))))
Mid-level-ontology.kif 9476-9482
(=>
(
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 3630-3641
(=>
(
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
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