Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
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
Entity
Sigma KEE - connected
connected
appearance as argument number 1
(
documentation
connected
ChineseLanguage
"(connected ?OBJ1 ?OBJ2)的意思是 ?OBJ1
meetsSpatially
?OBJ2 或者是 ?OBJ1
overlapsSpatially
?OBJ2。")
chinese_format.kif 2823-2824
(
documentation
connected
EnglishLanguage
"(connected ?OBJ1 ?OBJ2) means that ?OBJ1
meetsSpatially
?OBJ2 or that ?OBJ1
overlapsSpatially
?OBJ2.")
Merge.kif 9642-9643
(
documentation
connected
JapaneseLanguage
"(connected ?OBJ1 ?OBJ2) とは、?OBJ1
meetsSpatially
?OBJ2または ?OBJ1
overlapsSpatially
?OBJ2 という意味である。")
japanese_format.kif 1565-1566
(
domain
connected
1
Object
)
Merge.kif 9639-9639
The number 1 argument of
connected
is an
instance
of
object
(
domain
connected
2
Object
)
Merge.kif 9640-9640
The number 2 argument of
connected
is an
instance
of
object
(
instance
connected
BinaryPredicate
)
Merge.kif 9635-9635
connected
is an
instance
of
binary predicate
(
instance
connected
ReflexiveRelation
)
Merge.kif 9637-9637
connected
is an
instance
of
reflexive relation
(
instance
connected
SpatialRelation
)
Merge.kif 9636-9636
connected
is an
instance
of
spatial relation
(
instance
connected
SymmetricRelation
)
Merge.kif 9638-9638
connected
is an
instance
of
symmetric relation
appearance as argument number 2
(
disjointRelation
crosses
connected
)
Merge.kif 4225-4225
crosses
and
connected
are
disjoint
(
format
ChineseLanguage
connected
"%1 和 %2 %n 是
connected
")
chinese_format.kif 361-361
crosses
and
connected
are
disjoint
(
format
EnglishLanguage
connected
"%1 is %n
connected
to %2")
english_format.kif 364-364
crosses
and
connected
are
disjoint
(
format
FrenchLanguage
connected
"%1 est %n connect� � %2")
french_format.kif 209-209
crosses
and
connected
are
disjoint
(
format
ItalianLanguage
connected
"%1 è %n connesso a %2")
relations-it.txt 52-52
crosses
and
connected
are
disjoint
(
format
JapaneseLanguage
connected
"%1 は %2 と
connected
して %n ")
japanese_format.kif 2016-2016
crosses
and
connected
are
disjoint
(
format
PortugueseLanguage
connected
"%1 e' %n conectado com %2")
portuguese_format.kif 161-161
crosses
and
connected
are
disjoint
(
format
cb
connected
"%1 %n ay ikabit sa %2")
relations-cb.txt 86-86
crosses
and
connected
are
disjoint
(
format
cz
connected
"%1 %p{je} %n{nen�} spojen s %2")
relations-cz.txt 216-216
crosses
and
connected
are
disjoint
(
format
de
connected
"%1 wird an %2 %n{nicht} angeschlossen")
relations-de.txt 480-480
crosses
and
connected
are
disjoint
(
format
hi
connected
"%1 %2 se judaa huaa %n hai")
relations-hindi.txt 93-93
crosses
and
connected
are
disjoint
(
format
ro
connected
"%1 %n{nu} este
connected
%t{îmbinat} cu %2")
relations-ro.kif 229-229
crosses
and
connected
are
disjoint
(
format
sv
connected
"%1 är %n{inte} sammanlänkad med %2")
relations-sv.txt 226-226
crosses
and
connected
are
disjoint
(
format
tg
connected
"%1 %n ay nagkabit sa %2")
relations-tg.txt 120-120
crosses
and
connected
are
disjoint
(
relatedInternalConcept
meetsSpatially
connected
)
Merge.kif 9706-9706
meets spatially
is
internally
related to
connected
(
subrelation
connectedEngineeringComponents
connected
)
Merge.kif 16271-16271
connected engineering components
is a
subrelation
of
connected
(
subrelation
overlapsSpatially
connected
)
Merge.kif 4049-4049
overlap spatially
is a
subrelation
of
connected
(
termFormat
ChineseLanguage
connected
"相连")
chinese_format.kif 362-362
overlap spatially
is a
subrelation
of
connected
(
termFormat
ChineseLanguage
connected
"连接的")
domainEnglishFormat.kif 16647-16647
overlap spatially
is a
subrelation
of
connected
(
termFormat
ChineseTraditionalLanguage
connected
"連接的")
domainEnglishFormat.kif 16646-16646
overlap spatially
is a
subrelation
of
connected
(
termFormat
EnglishLanguage
connected
"connected")
domainEnglishFormat.kif 16645-16645
overlap spatially
is a
subrelation
of
connected
(
termFormat
de
connected
"angeschlossen")
terms-de.txt 149-149
overlap spatially
is a
subrelation
of
connected
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
antecedent
(=>
(
and
(
bottom
?BOTTOM ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?BOTTOM)))
(
orientation
?PART ?BOTTOM
Above
))
Merge.kif 9853-9858
If the
bottom
of
a self connected object
is
another self connected object
and
an object
is a
part
of
the self connected object
and
the object
is not
connected
to
the other self connected object
,
then
the object
is
above
to
the other self connected object
(=>
(
and
(
connected
?OBJ1 ?OBJ2)
(
connected
?OBJ1 ?OBJ3)
(
not
(
connected
?OBJ2 ?OBJ3)))
(
connects
?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 9690-9696
If
an object
is
connected
to
another object
and
the object
is
connected
to
a third object
and
the other object
is not
connected
to
the third object
,
then
the object
connect
s
the other object
and
the third object
(=>
(
and
(
connected
?X ?Y)
(
part
?Y ?Z))
(
connected
?X ?Z))
Geography.kif 684-688
If
an object
is
connected
to
another object
and
the other object
is a
part
of
a third object
,
then
the object
is
connected
to
the third object
(=>
(
and
(
equal
?OBJ
(
MereologicalSumFn
?PART1 ?PART2))
(
connected
?PART1 ?PART2))
(
instance
?OBJ
SelfConnectedObject
))
Merge.kif 9657-9661
If
equal
an object
and the
union
of the parts of
another object
and
a third object
and
the other object
is
connected
to
the third object
,
then
the object
is an
instance
of
self connected object
(=>
(
and
(
instance
?A
Attaching
)
(
patient
?A ?O1)
(
patient
?A ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2)))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
connected
?O1 ?O2)))
(
and
(
objectAttached
?A ?O1)
(
objectAttached
?A ?O2)))
Merge.kif 12535-12549
If
a process
is an
instance
of
attaching
and
an entity
is a
patient
of
the process
and
another entity
is a
patient
of
the process
and
the entity
is not
connected
to
the other entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is
connected
to
the other entity
holds
during
the
end
of the
time
of existence of
the process
,
then
the process
attaches
the entity
to another object and
the process
attaches
the other entity
to another object
(=>
(
and
(
instance
?BS1
BodySegment
)
(
instance
?BS2
BodySegment
)
(
connected
?BS1 ?BS2)
(
instance
?BM
BodyMotion
)
(
moves
?BM ?BS1))
(
modalAttribute
(
not
(
exists
(?BM2)
(
and
(
instance
?BM2
BodyMotion
)
(
moves
?BM2 ?BS2)
(
during
(
WhenFn
?BM2)
(
WhenFn
?BM)))))
Possibility
))
Mid-level-ontology.kif 11908-11924
If
an object
is an
instance
of
body segment
and
another object
is an
instance
of
body segment
and
the object
is
connected
to
the other object
and
a motion
is an
instance
of
body motion
and
the object
moves during
the motion
,
then the statement there doesn't exist
the motion
2 such that
the motion
2 is an
instance
of
body motion
and
the other object
moves during
the motion
2 and the
time
of existence of
the motion
2 takes place
during
the
time
of existence of
the motion
has the
modal
force
of
possibility
(=>
(
and
(
instance
?CHANNEL
Channel
)
(
instance
?BODY
BodyOfWater
)
(
connected
?CHANNEL ?BODY))
(
larger
?BODY ?CHANNEL))
Geography.kif 5633-5638
If
an object
is an
instance
of
channel
and
another object
is an
instance
of
body of water
and
the object
is
connected
to
the other object
,
then
the other object
is
larger
than
the object
(=>
(
and
(
instance
?D
Detaching
)
(
patient
?D ?O1)
(
patient
?D ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
connected
?O1 ?O2))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2))))
(
and
(
objectDetached
?A ?O1)
(
objectDetached
?A ?O2)))
Merge.kif 12585-12594
If
a process
is an
instance
of
detaching
and
an entity
is a
patient
of
the process
and
another entity
is a
patient
of
the process
and
the entity
is
connected
to
the other entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is not
connected
to
the other entity
holds
during
the
end
of the
time
of existence of
another process
,
then
the other process
detaches
the entity
from another object and
the other process
detaches
the other entity
from another object
(=>
(
and
(
instance
?L1
Object
)
(
attribute
?L1
LongAndThin
)
(
instance
?L2
Object
)
(
attribute
?L2
LongAndThin
)
(
connected
?L1 ?L2)
(
not
(
equal
?L1 ?L2)))
(
exists
(?M)
(
relativeAngle
?L1 ?L2 ?M)))
Merge.kif 18065-18075
If
an object
is an
instance
of
object
and
long and thin
is an
attribute
of
the object
and
another object
is an
instance
of
object
and
long and thin
is an
attribute
of
the other object
and
the object
is
connected
to
the other object
and
equal
the object
and
the other object
,
then there exists
a real number
such that the relative
angle
between
the object
and
the other object
is
the real number
(=>
(
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 5683-5698
If
a geographic area
is an
instance
of
inland water system
and
another geographic area
is an
instance
of
water area
and
a third geographic area
is an
instance
of
water area
and
equal
the other geographic area
and
the third geographic area
and
the other geographic area
is not
connected
to
the third geographic area
and
the other geographic area
is a
geographic
subregion of
the geographic area
and
the third geographic area
is a
geographic
subregion of
the geographic area
,
then there exists
an object
such that
the object
is an
instance
of
water area
and
equal
the object
and
the other geographic area
and
equal
the object
and
the other geographic area
and
the object
is a
part
of
the geographic area
and
the object
connect
s
the other geographic area
and
the third geographic area
(=>
(
and
(
properlyFills
?OBJ1 ?HOLE)
(
connected
?OBJ2 ?OBJ1))
(
connected
?HOLE ?OBJ2))
Merge.kif 10186-10190
If
an object
properly
fill
s
a hole
and
another object
is
connected
to
the object
,
then
the hole
is
connected
to
the other object
(=>
(
and
(
side
?SIDE ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?SIDE)))
(
exists
(?DIRECT)
(
orientation
?SIDE ?PART ?DIRECT)))
Merge.kif 9883-9890
If a
side
of
a self connected object
is
another self connected object
and
an object
is a
part
of
the self connected object
and
the object
is not
connected
to
the other self connected object
,
then there exists
a positional attribute
such that
the other self connected object
is
the positional attribute
to
the object
(=>
(
and
(
top
?TOP ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?TOP)))
(
orientation
?PART ?TOP
Below
))
Merge.kif 9868-9873
If the
top
of
a self connected object
is
another self connected object
and
an object
is a
part
of
the self connected object
and
the object
is not
connected
to
the other self connected object
,
then
the object
is
below
to
the other self connected object
(=>
(
connected
?OBJ1 ?OBJ2)
(
or
(
meetsSpatially
?OBJ1 ?OBJ2)
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9645-9649
If
an object
is
connected
to
another object
,
then
the object
meet
s
the other object
or
the object
and
the other object
overlapsSpatially
consequent
(<=>
(
orientation
?OBJ1 ?OBJ2
Adjacent
)
(
or
(
orientation
?OBJ1 ?OBJ2
Near
)
(
connected
?OBJ1 ?OBJ2)))
Merge.kif 17278-17282
An object
is
adjacent
to
another object
if and only if
the object
is
near
to
the other object
or
the object
is
connected
to
the other object
(=>
(
and
(
connected
?X ?Y)
(
part
?Y ?Z))
(
connected
?X ?Z))
Geography.kif 684-688
If
an object
is
connected
to
another object
and
the other object
is a
part
of
a third object
,
then
the object
is
connected
to
the third object
(=>
(
and
(
connectedBodyPart
?A ?B)
(
attribute
?H
Healthy
))
(
exists
(?AI ?BI)
(
and
(
instance
?AI ?A)
(
instance
?BI ?B)
(
part
?AI ?H)
(
part
?BI ?H)
(
connected
?AI ?BI))))
Mid-level-ontology.kif 13298-13308
If a
a kind of body part
is
connected
to a
another kind of body part
and
healthy
is an
attribute
of
an object
,
then there exist
a kind of body part
I and
another kind of body part
I such that
the kind of body part
I is an
instance
of
the kind of body part
and
the other kind of body part
I is an
instance
of
the other kind of body part
and
the kind of body part
I is a
part
of
the object
and
the other kind of body part
I is a
part
of
the object
and
the kind of body part
I is
connected
to
the other kind of body part
I
(=>
(
and
(
connectedBodyPartTypes
?P1 ?P2 ?O)
(
instance
?OC ?O)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?PC1 ?PC2)
(
and
(
instance
?PC1 ?P1)
(
instance
?PC2 ?P2)
(
not
(
equal
?PC1 ?PC2))
(
part
?PC1 ?OC)
(
part
?PC2 ?OC)
(
connected
?PC1 ?PC2))))
Anatomy.kif 32-46
If
connected body parts
a kind of body part
,
another kind of body part
and
a kind of organism
and
a kind of organism
C is an
instance
of
the kind of organism
and
disease or syndrome
is not an
attribute
of
another object
,
then there exist
a third object
and
a fourth object
such that
the third object
is an
instance
of
a kind of body part
and
the fourth object
is an
instance
of
another kind of body part
and
equal
the third object
and
the fourth object
and
the third object
is a
part
of
the kind of organism
C and
the fourth object
is a
part
of
the kind of organism
C and
the third object
is
connected
to
the fourth object
(=>
(
and
(
instance
?ATTACH
Attaching
)
(
patient
?ATTACH ?OBJ1)
(
patient
?ATTACH ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ATTACH))
(
not
(
connected
?OBJ1 ?OBJ2)))
(
holdsDuring
(
EndFn
(
WhenFn
?ATTACH))
(
connected
?OBJ1 ?OBJ2))))
Merge.kif 12510-12517
If
a process
is an
instance
of
attaching
and
an entity
is a
patient
of
the process
and
another entity
is a
patient
of
the process
,
then
the entity
is not
connected
to
the other entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is
connected
to
the other entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?DETACH
Detaching
)
(
patient
?DETACH ?OBJ1)
(
patient
?DETACH ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?DETACH))
(
connected
?OBJ1 ?OBJ2))
(
holdsDuring
(
EndFn
(
WhenFn
?DETACH))
(
not
(
connected
?OBJ1 ?OBJ2)))))
Merge.kif 12560-12567
If
a process
is an
instance
of
detaching
and
an entity
is a
patient
of
the process
and
another entity
is a
patient
of
the process
,
then
the entity
is
connected
to
the other entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is not
connected
to
the other entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?DSAVE
DataSaving
)
(
resource
?DSAVE ?RES)
(
instance
?RES
ElectronicDataStorageDevice
))
(
exists
(?DEV)
(
and
(
instance
?DEV
ElectricDevice
)
(
instrument
?DSAVE ?DEV)
(
holdsDuring
(
WhenFn
?DSAVE)
(
connected
?RES ?DEV)))))
Media.kif 690-700
If
a process
is an
instance
of
data saving
and
an object
is a
resource
for
the process
and
the object
is an
instance
of
electronic data storage device
,
then there exists
another object
such that
the other object
is an
instance
of
electric device
and
the other object
is an
instrument
for
the process
and
the object
is
connected
to
the other object
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?E
Extension
)
(
moves
?E ?BP))
(
exists
(?M ?MC)
(
and
(
instance
?M
Muscle
)
(
instance
?MC
MuscularContraction
)
(
instrument
?E ?M)
(
connected
?M ?BP)
(
subProcess
?MC ?E))))
Mid-level-ontology.kif 11978-11988
If
a motion
is an
instance
of
extension
and
an object
moves during
the motion
,
then there exist
another object
and
the other object
C such that
the other object
is an
instance
of
muscle
and
the other object
C is an
instance
of
muscular contraction
and
the other object
is an
instrument
for
the motion
and
the other object
is
connected
to
the object
and
the other object
C is a
subprocess
of
the motion
(=>
(
and
(
instance
?F
Flexion
)
(
moves
?F ?BP))
(
exists
(?M ?MC)
(
and
(
instance
?M
Muscle
)
(
instance
?MC
MuscularContraction
)
(
instrument
?F ?M)
(
connected
?M ?BP)
(
subProcess
?MC ?F))))
Mid-level-ontology.kif 11938-11948
If
a motion
is an
instance
of
flexion
and
an object
moves during
the motion
,
then there exist
another object
and
the other object
C such that
the other object
is an
instance
of
muscle
and
the other object
C is an
instance
of
muscular contraction
and
the other object
is an
instrument
for
the motion
and
the other object
is
connected
to
the object
and
the other object
C is a
subprocess
of
the motion
(=>
(
and
(
instance
?OBJ
SelfConnectedObject
)
(
equal
?OBJ
(
MereologicalSumFn
?PART1 ?PART2)))
(
connected
?PART1 ?PART2))
Merge.kif 9651-9655
If
an object
is an
instance
of
self connected object
and
equal
the object
and the
union
of the parts of
another object
and
a third object
,
then
the other object
is
connected
to
the third object
(=>
(
and
(
instance
?PORT
PortFacility
)
(
capability
ShipBerthing
patient
?PORT))
(
exists
(?HARBOR)
(
and
(
instance
?HARBOR
Harbor
)
(
connected
?HARBOR ?PORT)
(
capability
ShipBerthing
path
?HARBOR))))
Transportation.kif 3787-3795
If
an object
is an
instance
of
port facility
and
the object
is
capable
of doing
ship berthing
as a
patient
,
then there exists
another object
such that
the other object
is an
instance
of
harbor
and
the other object
is
connected
to
the object
and
the other object
is
capable
of doing
ship berthing
as a
path
(=>
(
and
(
instance
?R
CervicalVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
CervicalVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connected
?S ?R))))
Anatomy.kif 576-589
If
an object
is an
instance
of
cervical vertebra bone
and
the object
is a
part
of
another object
and
the other object
is an
instance
of
human
and
disease or syndrome
is not an
attribute
of
the other object
,
then there exists
a third object
such that
the third object
is an
instance
of
cervical vertebra bone
and
equal
the third object
and
the object
and
the third object
is a
part
of
the other object
and
the third object
is
connected
to
the object
(=>
(
and
(
instance
?R
FalseRibBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
not
(
exists
(?S)
(
and
(
instance
?S
Sternum
)
(
part
?S ?H)
(
connected
?S ?R)))))
Anatomy.kif 520-532
If
an object
is an
instance
of
costae spuriae
and
the object
is a
part
of
another object
and
the other object
is an
instance
of
human
and
disease or syndrome
is not an
attribute
of
the other object
,
then there doesn't exist
a third object
such that
the third object
is an
instance
of
sternum
and
the third object
is a
part
of
the other object
and
the third object
is
connected
to
the object
(=>
(
and
(
instance
?R
LumbarVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
LumbarVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connected
?S ?R))))
Anatomy.kif 616-629
If
an object
is an
instance
of
lumbar vertebra bone
and
the object
is a
part
of
another object
and
the other object
is an
instance
of
human
and
disease or syndrome
is not an
attribute
of
the other object
,
then there exists
a third object
such that
the third object
is an
instance
of
lumbar vertebra bone
and
equal
the third object
and
the object
and
the third object
is a
part
of
the other object
and
the third object
is
connected
to
the object
(=>
(
and
(
instance
?R
ThoracicVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
ThoracicVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connected
?S ?R))))
Anatomy.kif 684-697
If
an object
is an
instance
of
thoracic vertebra bone
and
the object
is a
part
of
another object
and
the other object
is an
instance
of
human
and
disease or syndrome
is not an
attribute
of
the other object
,
then there exists
a third object
such that
the third object
is an
instance
of
thoracic vertebra bone
and
equal
the third object
and
the object
and
the third object
is a
part
of
the other object
and
the third object
is
connected
to
the object
(=>
(
and
(
instance
?R
TrueRibBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
Sternum
)
(
part
?S ?H)
(
connected
?S ?R))))
Anatomy.kif 507-518
If
an object
is an
instance
of
costae verae
and
the object
is a
part
of
another object
and
the other object
is an
instance
of
human
and
disease or syndrome
is not an
attribute
of
the other object
,
then there exists
a third object
such that
the third object
is an
instance
of
sternum
and
the third object
is a
part
of
the other object
and
the third object
is
connected
to
the object
(=>
(
and
(
instance
?RIVER
River
)
(
instance
?WATER
BodyOfWater
)
(
flows
?RIVER ?WATER))
(
exists
(?MOUTH)
(
and
(
instance
?MOUTH
RiverMouth
)
(
streamOutfall
?MOUTH ?RIVER)
(
connected
?MOUTH ?WATER))))
Geography.kif 5964-5973
If
a river
is an
instance
of
river
and
an object
is an
instance
of
body of water
and
the object
is a
flows
of
the river
,
then there exists
a water area
such that
the water area
is an
instance
of
river mouth
and
the water area
is the
outfall
of
the river
and
the water area
is
connected
to
the object
(=>
(
and
(
instance
?TOUCH
Touching
)
(
agent
?TOUCH ?OBJ1)
(
patient
?TOUCH ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?TOUCH))
(
not
(
connected
?OBJ1 ?OBJ2)))
(
holdsDuring
(
EndFn
(
WhenFn
?TOUCH))
(
connected
?OBJ1 ?OBJ2))))
Merge.kif 11635-11642
If
a process
is an
instance
of
touching
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then
the agent
is not
connected
to
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the agent
is
connected
to
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?W
VehicleWheel
)
(
instance
?V
RoadVehicle
)
(
part
?W ?V))
(
exists
(?A)
(
and
(
instance
?A
Axle
)
(
component
?A ?V)
(
connected
?W ?A))))
Mid-level-ontology.kif 3981-3990
If
an object
is an
instance
of
vehicle wheel
and
a corpuscular object
is an
instance
of
road vehicle
and
the object
is a
part
of
the corpuscular object
,
then there exists
another corpuscular object
such that
the other corpuscular object
is an
instance
of
axle
and
the other corpuscular object
is a
component
of
the corpuscular object
and
the object
is
connected
to
the other corpuscular object
(=>
(
and
(
properlyFills
?OBJ1 ?HOLE)
(
connected
?OBJ2 ?OBJ1))
(
connected
?HOLE ?OBJ2))
Merge.kif 10186-10190
If
an object
properly
fill
s
a hole
and
another object
is
connected
to
the object
,
then
the hole
is
connected
to
the other object
(=>
(
attribute
?X
Locked
)
(
exists
(?LOCK ?CLOSE ?MOVE)
(
and
(
instance
?LOCK
Lock
)
(
connected
?LOCK ?X)
(
instance
?CLOSE
Closing
)
(
patient
?CLOSE ?LOCK)
(
instance
?MOVE
Motion
)
(
earlier
(
WhenFn
?CLOSE)
(
WhenFn
(
attribute
?X
Locked
)))
(
holdsDuring
(
WhenFn
(
attribute
?X
Locked
))
(
not
(
modalAttribute
(
patient
?MOVE ?X)
Possibility
))))))
Mid-level-ontology.kif 3161-3177
If
locked
is an
attribute
of
an object
,
then there exist
another object
,
a process
and
an entity
such that
the other object
is an
instance
of
lock
and
the other object
is
connected
to
the object
and
the process
is an
instance
of
closing
and
the other object
is a
patient
of
the process
and
the entity
is an
instance
of
motion
and the
time
of existence of
the process
happens
earlier
than the
time
of existence of
locked
is an
attribute
of
the object
and the statement
the object
is a
patient
of
the entity
doesn't have the
modal
force
of
possibility
holds
during
the
time
of existence of
locked
is an
attribute
of
the object
(=>
(
attribute
?X
PartialVacuum
)
(
exists
(?O ?G ?P1 ?P2 ?PM)
(
and
(
instance
?O
SelfConnectedObject
)
(
instance
?G
Region
)
(
not
(
equal
?G ?X))
(
connected
?X ?O)
(
connected
?G ?O)
(
measure
?G
(
MeasureFn
?P1 ?PM))
(
measure
?X
(
MeasureFn
?P2 ?PM))
(
instance
?PM
UnitOfAtmosphericPressure
)
(
greaterThan
?P1 ?P2))))
Cars.kif 383-396
If
partial vacuum
is an
attribute
of
an object
,
then there exist
another object
,
a third object
,, ,
a real number
,, ,
another real number
and
an unit of measure
such that
the other object
is an
instance
of
self connected object
and
the third object
is an
instance
of
region
and
equal
the third object
and
the object
and
the object
is
connected
to
the other object
and
the third object
is
connected
to
the other object
and the
measure
of
the third object
is
the real number
the unit of measure
(s) and the
measure
of
the object
is
the other real number
the unit of measure
(s) and
the unit of measure
is an
instance
of
unit of atmospheric pressure
and
the real number
is
greater
than
the other real number
(=>
(
attribute
?X
Pressurized
)
(
exists
(?O ?G ?P1 ?P2 ?PM)
(
and
(
instance
?O
SelfConnectedObject
)
(
instance
?G
Region
)
(
not
(
equal
?G ?X))
(
connected
?X ?O)
(
connected
?G ?O)
(
measure
?G
(
MeasureFn
?P1 ?PM))
(
measure
?X
(
MeasureFn
?P2 ?PM))
(
instance
?PM
UnitOfAtmosphericPressure
)
(
greaterThan
?P2 ?P1))))
Cars.kif 403-416
If
pressurized
is an
attribute
of
an object
,
then there exist
another object
,
a third object
,, ,
a real number
,, ,
another real number
and
an unit of measure
such that
the other object
is an
instance
of
self connected object
and
the third object
is an
instance
of
region
and
equal
the third object
and
the object
and
the object
is
connected
to
the other object
and
the third object
is
connected
to
the other object
and the
measure
of
the third object
is
the real number
the unit of measure
(s) and the
measure
of
the object
is
the other real number
the unit of measure
(s) and
the unit of measure
is an
instance
of
unit of atmospheric pressure
and
the other real number
is
greater
than
the real number
(=>
(
completelyFills
?OBJ1 ?HOLE)
(
forall
(?OBJ2)
(=>
(
connected
?OBJ2 ?HOLE)
(
connected
?OBJ2 ?OBJ1))))
Merge.kif 10179-10184
If
an object
completely
fill
s
a hole
,
then for all
another object
if
the other object
is
connected
to
the hole
,
then
the other object
is
connected
to
the object
(=>
(
connects
?OBJ1 ?OBJ2 ?OBJ3)
(
and
(
connected
?OBJ1 ?OBJ2)
(
connected
?OBJ1 ?OBJ3)
(
not
(
connected
?OBJ2 ?OBJ3))))
Merge.kif 9682-9688
If
an object
connect
s
another object
and
a third object
,
then
the object
is
connected
to
the other object
and
the object
is
connected
to
the third object
and
the other object
is not
connected
to
the third object
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
connected
GulfOfAden
ArabianSea
)
Geography.kif 5423-5423
Gulf of aden
is
connected
to
arabian sea
(
connected
GulfOfGuinea
AtlanticOcean
)
Geography.kif 5439-5439
Gulf Of Guinea
is
connected
to
atlantic ocean
(
connected
GulfOfLion
MediterraneanSea
)
Geography.kif 5447-5447
Gulf Of Lion
is
connected
to
mediterranean sea
(
connected
GulfOfMexico
CaribbeanSea
)
Geography.kif 5431-5431
Gulf of mexico
is
connected
to
caribbean sea
(
connected
GulfOfMexico
NorthAtlanticOcean
)
Geography.kif 5430-5430
Gulf of mexico
is
connected
to
north atlantic ocean
(
connected
GulfOfOman
ArabianSea
)
Geography.kif 5415-5415
Gulf of oman
is
connected
to
arabian sea
(
connected
IndianOcean
PersianGulf
)
Geography.kif 4871-4871
Indian ocean
is
connected
to
persian gulf
(
connected
IndianOcean
SouthPacificOcean
)
Geography.kif 4870-4870
Indian ocean
is
connected
to
south pacific ocean
(
connected
IndianOcean
SouthernOcean
)
Geography.kif 4872-4872
Indian ocean
is
connected
to
southern ocean
(
connected
MississippiRiver
GulfOfMexico
)
CountriesAndRegions.kif 744-744
Mississippi river
is
connected
to
Gulf of mexico
(
connected
PersianGulf
StraitOfHormuz
)
Geography.kif 5408-5408
Persian gulf
is
connected
to
strait of hormuz
(
connected
RedSea
GulfOfAden
)
Geography.kif 5422-5422
Red sea
is
connected
to
gulf of aden
(
connected
StraitOfHormuz
GulfOfOman
)
Geography.kif 5414-5414
Strait of hormuz
is
connected
to
gulf of oman
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