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
connected
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 9506-9507
(
documentation
connected
JapaneseLanguage
"(connected ?OBJ1 ?OBJ2) とは、?OBJ1
meetsSpatially
?OBJ2または ?OBJ1
overlapsSpatially
?OBJ2 という意味である。")
japanese_format.kif 1565-1566
(
domain
connected
1
Object
)
Merge.kif 9503-9503
The number 1 argument of
connected
is an
instance
of
object
(
domain
connected
2
Object
)
Merge.kif 9504-9504
The number 2 argument of
connected
is an
instance
of
object
(
instance
connected
BinaryPredicate
)
Merge.kif 9499-9499
connected
is an
instance
of
binary predicate
(
instance
connected
ReflexiveRelation
)
Merge.kif 9501-9501
connected
is an
instance
of
reflexive relation
(
instance
connected
SpatialRelation
)
Merge.kif 9500-9500
connected
is an
instance
of
spatial relation
(
instance
connected
SymmetricRelation
)
Merge.kif 9502-9502
connected
is an
instance
of
symmetric relation
appearance as argument number 2
(
disjointRelation
crosses
connected
)
Merge.kif 4200-4200
crosses
and
connected
are
disjoint
(
format
ChineseLanguage
connected
"%1 和 %2 %n 是
connected
")
chinese_format.kif 361-361
(
format
EnglishLanguage
connected
"%1 is %n
connected
to %2")
english_format.kif 364-364
(
format
FrenchLanguage
connected
"%1 est %n connect� � %2")
french_format.kif 209-209
(
format
ItalianLanguage
connected
"%1 è %n connesso a %2")
relations-it.txt 52-52
(
format
JapaneseLanguage
connected
"%1 は %2 と
connected
して %n ")
japanese_format.kif 2016-2016
(
format
PortugueseLanguage
connected
"%1 e' %n conectado com %2")
portuguese_format.kif 161-161
(
format
cb
connected
"%1 %n ay ikabit sa %2")
relations-cb.txt 86-86
(
format
cz
connected
"%1 %p{je} %n{nen�} spojen s %2")
relations-cz.txt 216-216
(
format
de
connected
"%1 wird an %2 %n{nicht} angeschlossen")
relations-de.txt 480-480
(
format
hi
connected
"%1 %2 se judaa huaa %n hai")
relations-hindi.txt 93-93
(
format
ro
connected
"%1 %n{nu} este
connected
%t{îmbinat} cu %2")
relations-ro.kif 229-229
(
format
sv
connected
"%1 är %n{inte} sammanlänkad med %2")
relations-sv.txt 226-226
(
format
tg
connected
"%1 %n ay nagkabit sa %2")
relations-tg.txt 120-120
(
relatedInternalConcept
meetsSpatially
connected
)
Merge.kif 9570-9570
meets spatially
is
internally
related to
connected
(
subrelation
connectedEngineeringComponents
connected
)
Merge.kif 16095-16095
connected engineering components
is a
subrelation
of
connected
(
subrelation
overlapsSpatially
connected
)
Merge.kif 4033-4033
overlap spatially
is a
subrelation
of
connected
(
termFormat
ChineseLanguage
connected
"相连")
chinese_format.kif 362-362
(
termFormat
ChineseLanguage
connected
"连接的")
domainEnglishFormat.kif 16638-16638
(
termFormat
ChineseTraditionalLanguage
connected
"連接的")
domainEnglishFormat.kif 16637-16637
(
termFormat
EnglishLanguage
connected
"connected")
domainEnglishFormat.kif 16636-16636
(
termFormat
tg
connected
"nagkabit")
relations-tg.txt 121-121
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 9715-9720
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 9554-9560
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 514-518
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 9521-9525
If
an object
is
equal
to 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 12383-12397
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 10577-10593
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 5330-5335
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 12431-12440
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 17882-17892
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
the object
is not
equal
to
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 5380-5395
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
the other geographic area
is not
equal
to
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
the object
is not
equal
to
the other geographic area
and
the object
is not
equal
to
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 10046-10050
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 9745-9751
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 9730-9735
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 9509-9513
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 17103-17107
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 514-518
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 11967-11977
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
connectedBodyPartTypes
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
the third object
is not
equal
to
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 12360-12367
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 12408-12415
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 10647-10657
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 10607-10617
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 9515-9519
If
an object
is an
instance
of
self connected object
and
the object
is
equal
to 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 2949-2957
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
?RIVER
River
)
(
instance
?WATER
BodyOfWater
)
(
flows
?RIVER ?WATER))
(
exists
(?MOUTH)
(
and
(
instance
?MOUTH
RiverMouth
)
(
streamOutfall
?MOUTH ?RIVER)
(
connected
?MOUTH ?WATER))))
Geography.kif 5661-5670
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 11485-11492
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 3538-3547
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 10046-10050
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 2698-2714
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
the third object
is not
equal
to
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
the third object
is not
equal
to
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 10039-10044
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 9546-9552
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
(=>
(
equipmentType
?O ?T)
(
exists
(?D)
(
and
(
instance
?D ?T)
(
or
(
part
?D ?O)
(
connected
?D ?O)))))
Mid-level-ontology.kif 24327-24334
If
a kind of device
is an
equipment
type of
an artifact
,
then there exists
an object
such that
the object
is an
instance
of
a kind of device
and
the object
is a
part
of
the artifact
or
the object
is
connected
to
the artifact
(=>
(
flows
?FLUID1 ?FLUID2)
(
connected
?FLUID1 ?FLUID2))
Geography.kif 5442-5444
If
an object
is a
flows
of
another object
,
then
the other object
is
connected
to
the object
(=>
(
hole
?HOLE ?OBJ)
(
connected
?HOLE ?OBJ))
Merge.kif 9935-9937
If
a hole
is a
hole
in
a self connected object
,
then
the hole
is
connected
to
the self connected object
(=>
(
instance
?F
Fireplace
)
(
exists
(?C)
(
and
(
instance
?C
Chimney
)
(
connected
?F ?C))))
Mid-level-ontology.kif 15366-15371
If
an object
is an
instance
of
fireplace
,
then there exists
another object
such that
the other object
is an
instance
of
chimney
and
the object
is
connected
to
the other object
(=>
(
instance
?GULF
Gulf
)
(
exists
(?SEA)
(
and
(
or
(
instance
?SEA
Sea
)
(
instance
?SEA
Ocean
))
(
connected
?GULF ?SEA))))
Geography.kif 5129-5136
If
an object
is an
instance
of
gulf
,
then there exists
another object
such that
the other object
is an
instance
of
sea
or
the other object
is an
instance
of
ocean
and
the object
is
connected
to
the other 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 5169-5169
Gulf of aden
is
connected
to
arabian sea
(
connected
GulfOfMexico
CaribbeanSea
)
Geography.kif 5177-5177
Gulf of mexico
is
connected
to
caribbean sea
(
connected
GulfOfMexico
NorthAtlanticOcean
)
Geography.kif 5176-5176
Gulf of mexico
is
connected
to
north atlantic ocean
(
connected
GulfOfOman
ArabianSea
)
Geography.kif 5161-5161
Gulf of oman
is
connected
to
arabian sea
(
connected
IndianOcean
PersianGulf
)
Geography.kif 4631-4631
Indian ocean
is
connected
to
persian gulf
(
connected
IndianOcean
SouthPacificOcean
)
Geography.kif 4630-4630
Indian ocean
is
connected
to
south pacific ocean
(
connected
IndianOcean
SouthernOcean
)
Geography.kif 4632-4632
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 5154-5154
Persian gulf
is
connected
to
strait of hormuz
(
connected
RedSea
GulfOfAden
)
Geography.kif 5168-5168
Red sea
is
connected
to
gulf of aden
(
connected
StraitOfHormuz
GulfOfOman
)
Geography.kif 5160-5160
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