Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 9669-9672
(
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 9665-9665
Le nombre 1 argument de
connects
est une
instance
de
objet
(
domain
connects
2
Object
)
Merge.kif 9666-9666
Le nombre 2 argument de
connects
est une
instance
de
objet
(
domain
connects
3
Object
)
Merge.kif 9667-9667
Le nombre 3 argument de
connects
est une
instance
de
objet
(
instance
connects
SpatialRelation
)
Merge.kif 9663-9663
connects
est une
instance
de
relation spatial
(
instance
connects
TernaryPredicate
)
Merge.kif 9664-9664
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 16332-16332
connectsEngineeringComponents
est une
sous
-relation de
connects
(
termFormat
ChineseLanguage
connects
"连接")
chinese_format.kif 364-364
connectsEngineeringComponents
est une
sous
-relation de
connects
(
termFormat
ChineseTraditionalLanguage
connects
"連接")
domainEnglishFormat.kif 16670-16670
connectsEngineeringComponents
est une
sous
-relation de
connects
(
termFormat
EnglishLanguage
connects
"connects")
domainEnglishFormat.kif 16669-16669
connectsEngineeringComponents
est une
sous
-relation de
connects
(
termFormat
de
connects
"schliesstAn")
terms-de.txt 150-150
connectsEngineeringComponents
est une
sous
-relation de
connects
(
termFormat
tg
connects
"nagkakabit")
relations-tg.txt 125-125
connectsEngineeringComponents
est une
sous
-relation de
connects
antecedent
(=>
(
and
(
connects
?A ?NODE1 ?NODE2)
(
abstractCounterpart
?N1 ?NODE1)
(
abstractCounterpart
?N2 ?NODE2)
(
abstractCounterpart
?ARC ?A))
(
links
?N1 ?N2 ?ARC))
Transportation.kif 3468-3474
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
?R1
Transitway
)
(
instance
?R2
Transitway
)
(
not
(
equal
?R1 ?R2))
(
connects
?J ?R1 ?R2))
(
instance
?J
TransitwayJunction
))
Transportation.kif 3844-3851
Objet
est une
instance
de
Transitway
objet
est une
instance
de
Transitway
equal
objet
and
objet
objet
relie
objet
et
objet
objet
est une
instance
de
TransitwayJunction
(=>
(
and
(
instance
?W
WeatherFront
)
(
instance
?F
AirStream
)
(
eventLocated
?W ?F)
(
connects
?F ?A ?B)
(
instance
?A
AirMass
)
(
instance
?B
AirMass
))
(
not
(
equal
?A ?B)))
Weather.kif 804-813
Processus
est une
instance
de
WeatherFront
objet
est une
instance
de
AirStream
eventLocated
processus
and
objet
objet
relie
objet
et
objet
objet
est une
instance
de
AirMass
objet
est une
instance
de
AirMass
equal
objet
and
objet
(=>
(
and
(
instance
?body1
BodyOfWater
)
(
instance
?body2
BodyOfWater
)
(
connects
?strait ?body1 ?body2))
(
larger
?body1 ?strait))
Geography.kif 5734-5739
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 9698-9700
Objet
relie
objet
et
objet
objet
relie
objet
et
objet
(=>
(
connects
?BETWEEN ?END1 ?END2)
(
not
(
equal
?END1 ?END2)))
Geography.kif 5717-5719
Objet
relie
objet
et
objet
equal
objet
and
objet
(=>
(
connects
?OBJ1 ?OBJ2 ?OBJ3)
(
and
(
connected
?OBJ1 ?OBJ2)
(
connected
?OBJ1 ?OBJ3)
(
not
(
connected
?OBJ2 ?OBJ3))))
Merge.kif 9682-9688
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 9674-9676
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 9690-9696
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 16470-16480
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 12485-12491
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 6567-6576
Processus
est une
instance
de
Soldering
objet
est un
patient
de
processus
objet
est un
patient
de
processus
equal
objet
and
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 16446-16458
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 5140-5153
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
equal
objet
and
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 5821-5836
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
equal
secteur g�ographique
and
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
equal
objet
and
secteur g�ographique
equal
objet
and
secteur g�ographique
objet
est une
partie
de
secteur g�ographique
objet
relie
secteur g�ographique
et
secteur g�ographique
(=>
(
and
(
instance
?T
Transportation
)
(
instance
?P1
Transitway
)
(
path
?T ?P1)
(
conveyance
?T ?V)
(
instance
?J
TransitwayJunction
)
(
part
?J ?P1))
(
exists
(?P2 ?M)
(
and
(
instance
?P2
Transitway
)
(
not
(
equal
?P1 ?P2))
(
connects
?J ?P1 ?P2)
(
capability
Transfer
path
?J)
(
instance
?M
Transfer
)
(
conveyance
?M ?V)
(
meetsTemporally
(
WhenFn
?T)
(
WhenFn
?M))
(
modalAttribute
(
path
?M ?P2)
Possibility
))))
Transportation.kif 3822-3842
Transporter
est une
instance
de
transporter
objet
est une
instance
de
Transitway
objet
est le
chemin
le long duquel
transporter
se produit
conveyance
transporter
and
v�hicule de transport
objet
est une
instance
de
TransitwayJunction
objet
est une
partie
de
objet
objet
transporter
objet
est une
instance
de
Transitway
equal
objet
and
objet
objet
relie
objet
et
objet
objet
est
capable
de faire
transf�re
dans le r�le
path
transporter
est une
instance
de
transf�re
conveyance
transporter
and
v�hicule de transport
temps
d'existence de
transporter
rencontre
temps
d'existence de
transporter
l'argument
objet
est le
chemin
le long duquel
transporter
se produit a la
force
modale
de
Possibility
(=>
(
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 1780-1791
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 1730-1741
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 9678-9680
Objet
est
entre
objet
et
objet
objet
relie
objet
et
objet
(=>
(
connects
?ARC ?NODE1 ?NODE2)
(
connects
?ARC ?NODE2 ?NODE1))
Merge.kif 9698-9700
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 12509-12515
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 16424-16430
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 6040-6046
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 5763-5769
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 5939-5946
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 5930-5937
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 16649-16657
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 13038-13046
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
?J
TransitwayJunction
)
(
exists
(?W1 ?A ?B ?W2 ?X ?Y)
(
and
(
instance
?W1
Transitway
)
(
routeBetween
?W1 ?A ?B)
(
instance
?W2
Transitway
)
(
routeBetween
?W2 ?X ?Y)
(
not
(
equal
?W1 ?W2))
(
betweenOnPath
?A ?J ?B ?W1)
(
betweenOnPath
?X ?J ?Y ?W2)
(
connects
?J ?W1 ?W2))))
Transportation.kif 3808-3820
Objet
est une
instance
de
TransitwayJunction
Transitway
r�gion
,
r�gion
,
Transitway
,
r�gion
and
r�gion
Transitway
est une
instance
de
Transitway
routeBetween
Transitway
,
r�gion
and
r�gion
Transitway
est une
instance
de
Transitway
routeBetween
Transitway
,
r�gion
and
r�gion
equal
Transitway
and
Transitway
betweenOnPath
r�gion
,
objet
,
r�gion
and
Transitway
betweenOnPath
r�gion
,
objet
,
r�gion
and
Transitway
objet
relie
Transitway
et
Transitway
(=>
(
instance
?J
TransitwayJunction
)
(
exists
(?W1 ?W2)
(
and
(
instance
?W1
Transitway
)
(
instance
?W2
Transitway
)
(
connects
?J ?W1 ?W2)
(
not
(
equal
?W1 ?W2)))))
Transportation.kif 3853-3861
Objet
est une
instance
de
TransitwayJunction
objet
objet
objet
est une
instance
de
Transitway
objet
est une
instance
de
Transitway
objet
relie
objet
et
objet
equal
objet
and
objet
(=>
(
instance
?JUNCT
BodyJunction
)
(
exists
(?OBJ1 ?OBJ2)
(
and
(
instance
?OBJ1
BodyPart
)
(
instance
?OBJ2
BodyPart
)
(
connects
?JUNCT ?OBJ1 ?OBJ2))))
Merge.kif 15243-15249
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 12658-12664
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
?S
Waterspout
)
(
exists
(?A ?R ?C ?F ?W)
(
and
(
instance
?A
AirStream
)
(
instance
?R
Rotating
)
(
patient
?R ?A)
(
origin
?R ?C)
(
instance
?C
WaterCloud
)
(
part
?F ?C)
(
shape
?F
Cone
)
(
eventLocated
?R ?W)
(
instance
?W
BodyOfWater
)
(
connects
?F ?W ?C))))
Weather.kif 1034-1047
Entit�
est une
instance
de
Waterspout
entit�
processus
,
objet
,
objet
and
objet
entit�
est une
instance
de
AirStream
processus
est une
instance
de
Rotating
entit�
est un
patient
de
processus
processus
a pour
origine
objet
objet
est une
instance
de
WaterCloud
objet
est une
partie
de
objet
shape
objet
and
Cone
eventLocated
processus
and
objet
objet
est une
instance
de
BodyOfWater
objet
relie
objet
et
objet
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
connects
Sahel
AtlanticOcean
RedSea
)
Geography.kif 7106-7106
Sahel
relie
AtlanticOcean
et
RedSea
(
connects
StraitOfGibraltar
Europe
Africa
)
Geography.kif 5756-5756
StraitOfGibraltar
relie
Europe
et
Africa
(
connects
StraitOfGibraltar
MediterraneanSea
AtlanticOcean
)
Geography.kif 5755-5755
StraitOfGibraltar
relie
MediterraneanSea
et
AtlanticOcean
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