connected
(=>
(
instance
?INLET
Inlet
)
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
connected
?INLET ?WATER))))
Geography.kif 5232-5237
If
an object
is an
instance
of
inlet
,
then there exists
another object
such that
the other object
is an
instance
of
water area
and
the object
is
connected
to
the other object
(=>
(
instance
?LABEL
Label
)
(
exists
(?OBJ)
(
and
(
instance
?OBJ
SelfConnectedObject
)
(
connected
?LABEL ?OBJ)
(
refers
?LABEL ?OBJ))))
Mid-level-ontology.kif 14477-14483
If
an object
is an
instance
of
label
,
then there exists
another object
such that
the other object
is an
instance
of
self connected object
and
the object
is
connected
to
the other object
and
the object
includes a
reference
to
the other object
(=>
(
instance
?NA
NetworkAdapter
)
(
exists
(?Net)
(
and
(
instance
?Net
ComputerNetwork
)
(
connected
?NA ?Net))))
QoSontology.kif 831-836
If
an object
is an
instance
of
network adapter
,
then there exists
another object
such that
the other object
is an
instance
of
computer network
and
the object
is
connected
to
the other object
(=>
(
instance
?NECK
Neck
)
(
exists
(?HEAD)
(
and
(
instance
?HEAD
Head
)
(
connected
?NECK ?HEAD))))
Mid-level-ontology.kif 12875-12880
If
an object
is an
instance
of
neck
,
then there exists
another object
such that
the other object
is an
instance
of
head
and
the object
is
connected
to
the other object
(=>
(
instance
?NOSE
Nose
)
(
exists
(?N1 ?N2)
(
and
(
instance
?N1
Nostril
)
(
instance
?N2
Nostril
)
(
not
(
equal
?N1 ?N2))
(
connected
?N1 ?NOSE)
(
connected
?N2 ?NOSE))))
Mid-level-ontology.kif 11317-11325
If
an object
is an
instance
of
nose
,
then there exist
another object
and
a third object
such that
the other object
is an
instance
of
nostril
and
the third object
is an
instance
of
nostril
and
the other object
is not
equal
to
the third object
and
the other object
is
connected
to
the object
and
the third object
is
connected
to
the object
(=>
(
instance
?PORCH
Porch
)
(
exists
(?BUILDING)
(
and
(
instance
?BUILDING
Building
)
(
connected
?PORCH ?BUILDING))))
Mid-level-ontology.kif 15644-15649
If
an object
is an
instance
of
veranda
,
then there exists
another object
such that
the other object
is an
instance
of
building
and
the object
is
connected
to
the other object
(=>
(
instance
?SAIL
Sail
)
(
exists
(?MAST)
(
and
(
material
Fabric
?SAIL)
(
instance
?MAST
Mast
)
(
connected
?SAIL ?MAST))))
Mid-level-ontology.kif 26347-26353
If
a corpuscular object
is an
instance
of
sail
,
then there exists
an object
such that
the corpuscular object
is
made
of
fabric
and
the object
is an
instance
of
mast
and
the corpuscular object
is
connected
to
the object
(=>
(
instance
?SHOWER
Shower
)
(
exists
(?X ?FLOOR)
(
and
(
or
(
instance
?X
Wall
)
(
instance
?X
Ceiling
))
(
connected
?SHOWER ?X)
(
instance
?FLOOR
Floor
)
(
orientation
?SHOWER ?FLOOR
Above
))))
Mid-level-ontology.kif 2037-2046
If
an object
is an
instance
of
shower
,
then there exist
another object
and
a third object
such that
the other object
is an
instance
of
wall
or
the other object
is an
instance
of
ceiling
and
the object
is
connected
to
the other object
and
the third object
is an
instance
of
floor
and
the object
is
above
to
the third object
(=>
(
instance
?SL
SalineLock
)
(
hasPurpose
?SL
(
exists
(?IVL)
(
and
(
instance
?IVL
IVLine
)
(
connected
?SL ?IVL)))))
Medicine.kif 1113-1119
If
a physical
is an
instance
of
saline lock
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
IV Line
and
the physical
is
connected
to
the entity
(=>
(
instance
?SYSTEM
RiverSystem
)
(
exists
(?RIVER ?STATIC)
(
and
(
instance
?RIVER
River
)
(
part
?RIVER ?SYSTEM)
(
instance
?STATIC
StaticWaterArea
)
(
connected
?RIVER ?STATIC))))
Geography.kif 5524-5531
If
an object
is an
instance
of
river system
,
then there exist
another object
and
a third object
such that
the other object
is an
instance
of
river
and
the other object
is a
part
of
the object
and
the third object
is an
instance
of
static water area
and
the other object
is
connected
to
the third object
(=>
(
instance
?T
Trachea
)
(
exists
(?TH)
(
and
(
instance
?TH
Throat
)
(
connected
?TH ?T))))
Mid-level-ontology.kif 11740-11745
If
an object
is an
instance
of
trachea
,
then there exists
the object
H such that
the object
H is an
instance
of
throat
and
the object
H is
connected
to
the object
(=>
(
instance
?THROAT
Throat
)
(
exists
(?MOUTH)
(
and
(
instance
?MOUTH
Mouth
)
(
connected
?THROAT ?MOUTH))))
Mid-level-ontology.kif 11727-11732
If
an object
is an
instance
of
throat
,
then there exists
another object
such that
the other object
is an
instance
of
mouth
and
the object
is
connected
to
the other object
(=>
(
instance
?TT
TractorTrailer
)
(
exists
(?TRAC ?TRAIL)
(
and
(
instance
?TRAC
TruckTractor
)
(
instance
?TRAIL
TruckTrailer
)
(
part
?TRAC ?TT)
(
part
?TRAIL ?TT)
(
connected
?TRAC ?TRAIL))))
Transportation.kif 1831-1839
If
an object
is an
instance
of
tractor trailer
,
then there exist
another object
and
a third object
such that
the other object
is an
instance
of
truck tractor
and
the third object
is an
instance
of
truck trailer
and
the other object
is a
part
of
the object
and
the third object
is a
part
of
the object
and
the other object
is
connected
to
the third object
(=>
(
instance
?WATER
Estuary
)
(
exists
(?SEA)
(
and
(
instance
?SEA
SaltWaterArea
)
(
part
?SEA
WorldOcean
)
(
connected
?SEA ?WATER))))
Geography.kif 5187-5193
If
an object
is an
instance
of
estuary
,
then there exists
another object
such that
the other object
is an
instance
of
salt water area
and
the other object
is a
part
of
world ocean
and
the other object
is
connected
to
the object
(=>
(
instance
?X
CarBombing
)
(
exists
(?BOMB ?CAR)
(
and
(
instance
?BOMB
Bomb
)
(
instance
?CAR
TransportationDevice
)
(
instrument
?X ?CAR)
(
instrument
?X ?BOMB)
(
connected
?CAR ?BOMB))))
Mid-level-ontology.kif 21839-21847
If
a process
is an
instance
of
car bombing
,
then there exist
an object
and
another object
such that
the object
is an
instance
of
bomb
and
the other object
is an
instance
of
transportation device
and
the other object
is an
instrument
for
the process
and
the object
is an
instrument
for
the process
and
the other object
is
connected
to
the object
(=>
(
instance
?X
FuelCapLock
)
(
hasPurpose
?X
(
exists
(?TANK ?HOLE ?T)
(
and
(
instance
?TANK
GasTank
)
(
hole
?HOLE ?TANK)
(
decreasesLikelihood
(
holdsDuring
?T
(
and
(
connected
?X ?HOLE)
(
attribute
?X
Locked
)))
(
holdsDuring
?T
(
exists
(?STEAL ?FUEL)
(
and
(
instance
?STEAL
Stealing
)
(
instance
?FUEL
Fuel
)
(
located
?FUEL ?TANK)
(
patient
?STEAL ?FUEL)))))))))
Cars.kif 1016-1034
If
a physical
is an
instance
of
fuel cap lock
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
gas tank
and
the other entity
is a
hole
in
the entity
and
the physical
is
connected
to
the other entity
and
locked
is an
attribute
of
the physical
holds
during
the third entity
decrease
s likelihood of there exist
a fourth entity
and
a fifth entity
such that
the fourth entity
is an
instance
of
stealing
and
the fifth entity
is an
instance
of
fuel
and
the fifth entity
is
located
at
the entity
and
the fifth entity
is a
patient
of
the fourth entity
holds
during
the third entity
(=>
(
instance
?X
GrabBar
)
(
and
(
exists
(?WALL)
(
and
(
instance
?WALL
Wall
)
(
connected
?X ?WALL)))
(
hasPurpose
?X
(
exists
(?GRAB)
(
and
(
instance
?GRAB
Grabbing
)
(
instrument
?GRAB ?X))))))
Mid-level-ontology.kif 26482-26493
If
an object
is an
instance
of
grab bar
,
then there exists
another object
such that
the other object
is an
instance
of
wall
and
the object
is
connected
to
the other object
and
the object
has the purpose there exists
an entity
such that
the entity
is an
instance
of
grabbing
and
the object
is an
instrument
for
the entity
(=>
(
instance
?X
Hammock
)
(
and
(
material
Fabric
?X)
(
exists
(?POLE1 ?POLE2 ?GROUND)
(
and
(
orientation
?POLE1 ?POLE2
Near
)
(
connected
?POLE1 ?X)
(
connected
?POLE2 ?X)
(
instance
?GROUND
LandArea
)
(
located
?X ?GROUND)
(
orientation
?X ?GROUND
Above
)))))
Mid-level-ontology.kif 3958-3969
If
a corpuscular object
is an
instance
of
hammock
,
then
the corpuscular object
is
made
of
fabric
and there exist
an object
,
another object
and
a third object
such that
the object
is
near
to
the other object
and
the object
is
connected
to
the corpuscular object
and
the other object
is
connected
to
the corpuscular object
and
the third object
is an
instance
of
land area
and
the corpuscular object
is
located
at
the third object
and
the corpuscular object
is
above
to
the third object
(=>
(
instance
?X
MultimediaProjector
)
(
hasPurpose
?X
(
exists
(?RS ?SCREEN ?VIDEO)
(
and
(
instance
?RS
RadiatingLight
)
(
instrument
?RS ?X)
(
patient
?RS ?VIDEO)
(
or
(
instance
?VIDEO
VideoRecording
)
(
instance
?VIDEO
Image
))
(
destination
?RS ?SCREEN)
(
instance
?SCREEN
Artifact
)
(
attribute
?SCREEN
Flat
)
(
not
(
connected
?X ?SCREEN))))))
Mid-level-ontology.kif 26229-26243
If
a physical
is an
instance
of
multimedia projector
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
radiating light
and
the physical
is an
instrument
for
the entity
and
the third entity
is a
patient
of
the entity
and
the third entity
is an
instance
of
video recording
or
the third entity
is an
instance
of
image
and
the entity
end
s up at
the other entity
and
the other entity
is an
instance
of
artifact
and
flat
is an
attribute
of
the other entity
and
the physical
is not
connected
to
the other entity
(=>
(
instance
?X
TapeRecorder
)
(
hasPurpose
?X
(
exists
(?AUDIO ?TAPE ?PROC)
(
and
(
instance
?PROC
IntentionalProcess
)
(
instrument
?PROC ?X)
(
result
?PROC ?AUDIO)
(
instance
?AUDIO
AudioRecording
)
(
instance
?TAPE
RecordingTape
)
(
holdsDuring
?PROC
(
connected
?TAPE ?X))
(
before
(
BeginFn
(
WhenFn
?PROC))
(
BeginFn
(
WhenFn
(
part
?AUDIO ?TAPE))))))))
Media.kif 1336-1350
If
a physical
is an
instance
of
tape recorder
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the third entity
is an
instance
of
intentional process
and
the physical
is an
instrument
for
the third entity
and
the entity
is a
result
of
the third entity
and
the entity
is an
instance
of
audio recording
and
the other entity
is an
instance
of
recording tape
and
the other entity
is
connected
to
the physical
holds
during
the third entity
and the
beginning
of the
time
of existence of
the third entity
happens
before
the
beginning
of the
time
of existence of
the entity
is a
part
of
the other entity
(=>
(
orientation
?OBJ1 ?OBJ2
Above
)
(
not
(
connected
?OBJ1 ?OBJ2)))
Merge.kif 17079-17082
If
an object
is
above
to
another object
,
then
the object
is not
connected
to
the other object
(=>
(
orientation
?OBJ1 ?OBJ2
Near
)
(
not
(
connected
?OBJ1 ?OBJ2)))
Merge.kif 17132-17135
If
an object
is
near
to
another object
,
then
the object
is not
connected
to
the other object
(=>
(
orientation
?OBJ1 ?OBJ2
On
)
(
connected
?OBJ1 ?OBJ2))
Merge.kif 17146-17148
If
an object
is
on
to
another object
,
then
the object
is
connected
to
the other object
(=>
(
pathInSystem
?P ?S)
(
or
(
routeInSystem
?P ?S)
(
exists
(?R1 ?R2)
(
and
(
routeInSystem
?R1 ?S)
(
routeInSystem
?R2 ?S)
(
part
?R1 ?P)
(
part
?R2 ?P)
(
connected
?R1 ?R2)))))
Transportation.kif 2727-2737
If
a transit system
is a
path
in system of
a transitway
,
then
the transit system
is a
route
in system of
the transitway
or there exist
another transitway
and
a third transitway
such that
the transit system
is a
route
in system of
the other transitway
and
the transit system
is a
route
in system of
the third transitway
and
the other transitway
is a
part
of
the transitway
and
the third transitway
is a
part
of
the transitway
and
the other transitway
is
connected
to
the third transitway
(=>
(
relativeAngle
?L1 ?L2 ?M)
(
and
(
instance
?L1
Object
)
(
attribute
?L1
LongAndThin
)
(
instance
?L2
Object
)
(
attribute
?L2
LongAndThin
)
(
connected
?L1 ?L2)
(
not
(
equal
?L1 ?L2))))
Merge.kif 17894-17903
If the relative
angle
between
an object
and
another object
is
a real number
,
then
the object
is an
instance
of
object
and
long and thin
is an
attribute
of
the object
and
the other 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
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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