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
Le nombre 1 argument de
connects
est une
instance
de
objet
(
domain
connects
2
Object
)
Merge.kif 9552-9552
Le nombre 2 argument de
connects
est une
instance
de
objet
(
domain
connects
3
Object
)
Merge.kif 9553-9553
Le nombre 3 argument de
connects
est une
instance
de
objet
(
instance
connects
SpatialRelation
)
Merge.kif 9549-9549
connects
est une
instance
de
relation spatial
(
instance
connects
TernaryPredicate
)
Merge.kif 9550-9550
connects
est une
instance
de
pr�dicat ternaire
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
connectsEngineeringComponents
est une
sous
-relation de
connects
(
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
Objet
relie
objet
et
objet
abstractCounterpart
noeud du graph
and
objet
abstractCounterpart
noeud du graph
and
objet
abstractCounterpart
objet
RC and
objet
objet
RC
lie
noeud du graph
et
noeud du graph
(=>
(
and
(
instance
?body1
BodyOfWater
)
(
instance
?body2
BodyOfWater
)
(
connects
?strait ?body1 ?body2))
(
larger
?body1 ?strait))
Geography.kif 5305-5310
Objet
est une
instance
de
BodyOfWater
objet
est une
instance
de
BodyOfWater
objet
relie
objet
et
objet
objet
est
plus
large que
objet
(=>
(
connects
?ARC ?NODE1 ?NODE2)
(
connects
?ARC ?NODE2 ?NODE1))
Merge.kif 9584-9586
Objet
relie
objet
et
objet
objet
relie
objet
et
objet
(=>
(
connects
?BETWEEN ?END1 ?END2)
(
not
(
equal
?END1 ?END2)))
Geography.kif 5288-5290
Objet
relie
objet
et
objet
objet
est
objet
(=>
(
connects
?OBJ1 ?OBJ2 ?OBJ3)
(
and
(
connected
?OBJ1 ?OBJ2)
(
connected
?OBJ1 ?OBJ3)
(
not
(
connected
?OBJ2 ?OBJ3))))
Merge.kif 9568-9574
Objet
relie
objet
et
objet
objet
est
connect
� �
objet
objet
est
connect
� �
objet
objet
est
connect
� �
objet
(=>
(
connects
?OBJ1 ?OBJ2 ?OBJ3)
(
between
?OBJ2 ?OBJ1 ?OBJ3))
Merge.kif 9560-9562
Objet
relie
objet
et
objet
objet
est
entre
objet
et
objet
consequent
(=>
(
and
(
connected
?OBJ1 ?OBJ2)
(
connected
?OBJ1 ?OBJ3)
(
not
(
connected
?OBJ2 ?OBJ3)))
(
connects
?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 9576-9582
Objet
est
connect
� �
objet
objet
est
connect
� �
objet
objet
est
connect
� �
objet
objet
relie
objet
et
objet
(=>
(
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
Objet
est une
instance
de
BuildingLevel
objet
est une
instance
de
BuildingLevel
objet
est une
instance
de
immeuble
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
objet
est une
instance
de
Steps
objet
relie
objet
et
objet
(=>
(
and
(
instance
?POKE
Poking
)
(
agent
?POKE ?AGENT)
(
patient
?POKE ?OBJ)
(
instrument
?POKE ?INST))
(
holdsDuring
(
WhenFn
?POKE)
(
connects
?INST ?AGENT ?OBJ)))
Merge.kif 12357-12363
Processus
est une
instance
de
percer
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
objet
est un
instrument
pour
processus
objet
relie
AutonomousAgent
et
entit�
pendant
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
Soldering
objet
est un
patient
de
processus
objet
est un
patient
de
processus
objet
est
objet
objet
objet
est une
instance
de
MetallicAlloy
objet
relie
objet
et
objet
(=>
(
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
Objet
est une
instance
de
Stairway
objet
est une
partie
de
objet
objet
est une
instance
de
immeuble
objet
a pour
but
entit�
entit�
entit�
est une
instance
de
BuildingLevel
entit�
est une
instance
de
BuildingLevel
entit�
est une
partie
de
objet
entit�
est une
partie
de
objet
objet
relie
entit�
et
entit�
(=>
(
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
Objet
est une
instance
de
StripMall
objet
est une
instance
de
RetailStore
objet
est une
partie
de
objet
objet
est une
instance
de
RetailStore
objet
est une
partie
de
objet
objet
est
objet
objet
objet
est une
instance
de
Hallway
objet
relie
objet
et
objet
(=>
(
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
Secteur g�ographique
est une
instance
de
InlandWaterSystem
secteur g�ographique
est une
instance
de
plan d'eau
secteur g�ographique
est une
instance
de
plan d'eau
secteur g�ographique
est
secteur g�ographique
secteur g�ographique
est
connect
� �
secteur g�ographique
geographicSubregion
secteur g�ographique
and
secteur g�ographique
geographicSubregion
secteur g�ographique
and
secteur g�ographique
objet
objet
est une
instance
de
plan d'eau
objet
est
secteur g�ographique
objet
est
secteur g�ographique
objet
est une
partie
de
secteur g�ographique
objet
relie
secteur g�ographique
et
secteur g�ographique
(=>
(
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
partie du corps
objet
est une
instance
de
humain
Healthy
est un
attribut
de
objet
objet
objet
objet
est une
instance
de
muscle
objet
est une
instance
de
partie du corps
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
relie
objet
et
(=>
(
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
partie du corps
objet
est une
instance
de
humain
Healthy
est un
attribut
de
objet
objet
objet
objet
est une
instance
de
muscle
objet
est une
instance
de
partie du corps
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
relie
objet
et
(=>
(
between
?OBJ2 ?OBJ1 ?OBJ3)
(
connects
?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 9564-9566
Objet
est
entre
objet
et
objet
objet
relie
objet
et
objet
(=>
(
connects
?ARC ?NODE1 ?NODE2)
(
connects
?ARC ?NODE2 ?NODE1))
Merge.kif 9584-9586
Objet
relie
objet
et
objet
objet
relie
objet
et
objet
(=>
(
instance
?C
Capillary
)
(
exists
(?A ?V)
(
and
(
instance
?A
Artery
)
(
instance
?V
Vein
)
(
connects
?C ?A ?V))))
Mid-level-ontology.kif 11177-11183
Objet
est une
instance
de
Capillary
objet
objet
objet
est une
instance
de
Artery
objet
est une
instance
de
Vein
objet
relie
objet
et
objet
(=>
(
instance
?C
Curb
)
(
exists
(?S ?R)
(
and
(
instance
?S
Sidewalk
)
(
instance
?R
Roadway
)
(
connects
?C ?S ?R))))
Mid-level-ontology.kif 15050-15056
Objet
est une
instance
de
Curb
objet
objet
objet
est une
instance
de
Sidewalk
objet
est une
instance
de
Roadway
objet
relie
objet
et
objet
(=>
(
instance
?CHANNEL
Canal
)
(
exists
(?WATER1 ?WATER2)
(
and
(
instance
?WATER1
WaterArea
)
(
instance
?WATER2
WaterArea
)
(
connects
?CHANNEL ?WATER1 ?WATER2))))
Geography.kif 5599-5605
Objet
est une
instance
de
Canal
objet
objet
objet
est une
instance
de
plan d'eau
objet
est une
instance
de
plan d'eau
objet
relie
objet
et
objet
(=>
(
instance
?CHANNEL
Channel
)
(
exists
(?WATER1 ?WATER2)
(
and
(
instance
?WATER1
WaterArea
)
(
instance
?WATER2
WaterArea
)
(
connects
?CHANNEL ?WATER1 ?WATER2))))
Geography.kif 5322-5328
Objet
est une
instance
de
Channel
objet
objet
objet
est une
instance
de
plan d'eau
objet
est une
instance
de
plan d'eau
objet
relie
objet
et
objet
(=>
(
instance
?FORK
StreamWaterConfluence
)
(
exists
(?STREAM ?BRANCH)
(
and
(
instance
?STREAM
River
)
(
instance
?BRANCH
StreamWaterArea
)
(
flows
?BRANCH ?STREAM)
(
connects
?FORK ?STREAM ?BRANCH))))
Geography.kif 5498-5505
Objet
est une
instance
de
StreamWaterConfluence
objet
objet
objet
est une
instance
de
River
objet
est une
instance
de
plan d'eau en mouvement
flows
objet
and
objet
objet
relie
objet
et
objet
(=>
(
instance
?FORK
StreamWaterConfluence
)
(
exists
(?STREAM1 ?STREAM2)
(
and
(
instance
?STREAM1
StreamWaterArea
)
(
connects
?FORK ?STREAM1 ?STREAM2)
(
instance
?STREAM2
StreamWaterArea
)
(
flows
?STREAM1 ?STREAM2))))
Geography.kif 5489-5496
Objet
est une
instance
de
StreamWaterConfluence
objet
objet
objet
est une
instance
de
plan d'eau en mouvement
objet
relie
objet
et
objet
objet
est une
instance
de
plan d'eau en mouvement
flows
objet
and
objet
(=>
(
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
Physique
est une
instance
de
Hinge
physique
a pour
but
entit�
entit�
physique
relie
entit�
et
entit�
entit�
est
capable
de faire
Rotating
dans le r�le
patient
entit�
est
capable
de faire
Rotating
dans le r�le
patient
(=>
(
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
Objet corpusculaire
est une
instance
de
BodyJoint
objet corpusculaire
objet corpusculaire
and
objet corpusculaire
objet corpusculaire
est une
instance
de
Skeleton
objet corpusculaire
est un
composant
de
objet corpusculaire
objet corpusculaire
est un
composant
de
objet corpusculaire
objet corpusculaire
est un
composant
de
objet corpusculaire
objet corpusculaire
relie
objet corpusculaire
et
objet corpusculaire
(=>
(
instance
?JUNCT
BodyJunction
)
(
exists
(?OBJ1 ?OBJ2)
(
and
(
instance
?OBJ1
BodyPart
)
(
instance
?OBJ2
BodyPart
)
(
connects
?JUNCT ?OBJ1 ?OBJ2))))
Merge.kif 15112-15118
Objet
est une
instance
de
junction de parties du corps
objet
objet
objet
est une
instance
de
partie du corps
objet
est une
instance
de
partie du corps
objet
relie
objet
et
objet
(=>
(
instance
?NOS
Nostril
)
(
exists
(?N ?T)
(
and
(
instance
?N
Nose
)
(
instance
?T
Throat
)
(
connects
?NOS ?N ?T))))
Mid-level-ontology.kif 11326-11332
Objet
est une
instance
de
Nostril
objet
objet
objet
est une
instance
de
Nose
objet
est une
instance
de
Throat
objet
relie
objet
et
objet
(=>
(
instance
?SEA
Sea
)
(
exists
(?OCEAN ?PATH)
(
and
(
instance
?OCEAN
Ocean
)
(
instance
?PATH
WaterArea
)
(
connects
?PATH ?OCEAN ?SEA))))
Geography.kif 4783-4789
Objet
est une
instance
de
Sea
objet
objet
objet
est une
instance
de
Ocean
objet
est une
instance
de
plan d'eau
objet
relie
objet
et
objet
(=>
(
instance
?T
Tendon
)
(
exists
(?M ?B)
(
and
(
instance
?M
Muscle
)
(
instance
?B
Bone
)
(
connects
?T ?M ?B))))
Mid-level-ontology.kif 9448-9454
Objet
est une
instance
de
Tendon
objet
objet
objet
est une
instance
de
muscle
objet
est une
instance
de
os
objet
relie
objet
et
objet
(=>
(
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
Objet
est une
instance
de
TelephoneLine
objet
objet
objet
est une
instance
de
Telephone
objet
est une
instance
de
Telegraph
objet
est une
instance
de
Telephone
objet
est une
instance
de
Telegraph
objet
est
objet
objet
relie
objet
et
objet
(=>
(
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
Processus
est une
instance
de
WaterSkiing
AutonomousAgent
objet
,
objet
,
objet
,
objet
,
processus
and
processus
objet
est une
instance
de
WaterVehicle
objet
est une
instance
de
plan d'eau
objet
est une
instance
de
WaterSki
eventLocated
processus
and
objet
AutonomousAgent
est une
instance
de
humain
AutonomousAgent
est
situ
� �
objet
objet
relie
AutonomousAgent
et
objet
processus
est une
instance
de
transporter
objet
est un
instrument
pour
processus
processus
est une
instance
de
d�palcement
processus
est un
agent
de
AutonomousAgent
objet
est un
instrument
pour
processus
processus
cause
processus
processus
est un
sous
-processus de
processus
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