orientation
(=>
(
and
(
attribute
?X ?SHAPE)
(
instance
?X
FourPosterBed
)
(
instance
?SHAPE
Quadrilateral
)
(
sideOfFigure
?SIDE1 ?SHAPE)
(
sideOfFigure
?SIDE2 ?SHAPE)
(
not
(
equal
?SIDE1 ?SIDE2)))
(
exists
(?POST ?FLOOR ?CORNER1 ?CORNER)
(
and
(
part
?POST ?X)
(
instance
?FLOOR
Floor
)
(
orientation
?X ?FLOOR
On
)
(
orientation
?POST ?FLOOR
Vertical
)
(
pointOfIntersection
?SIDE1 ?SIDE2 ?CORNER1)
(
attribute
?CORNER ?CORNER1)
(
meetsSpatially
?CORNER ?POST))))
Mid-level-ontology.kif 4521-4538
If
a geometric figure
is an
attribute
of
an object
and
the object
is an
instance
of
four-poster bed
and
the geometric figure
is an
instance
of
quadrilateral
and the
size
of
the geometric figure
is
an one dimensional figure
and the
size
of
the geometric figure
is
another one dimensional figure
and
the one dimensional figure
is not
equal
to
the other one dimensional figure
,
then there exist
another object
,
a third object
,, ,
a geometric point
and
a fourth object
such that
the other object
is a
part
of
the object
and
the third object
is an
instance
of
floor
and
the object
is
on
to
the third object
and
the other object
is
vertical
to
the third object
and
the one dimensional figure
is
point
of intersection
the other one dimensional figure
for
the geometric point
and
the geometric point
is an
attribute
of
the fourth object
and
the fourth object
meet
s
the other object
(=>
(
and
(
attribute
?X
Suite
)
(
instance
?X
HotelUnit
))
(
exists
(?R1 ?R2)
(
and
(
instance
?R1
HotelRoom
)
(
instance
?R2
HotelRoom
)
(
orientation
?R1 ?X
Inside
)
(
orientation
?R2 ?X
Inside
)
(
not
(
equal
?R1 ?R2)))))
Hotel.kif 1011-1022
If
suite
is an
attribute
of
an object
and
the object
is an
instance
of
hotel unit
,
then there exist
another object
and
a third object
such that
the other object
is an
instance
of
hotel room
and
the third object
is an
instance
of
hotel room
and
the other object
is
inside
to
the object
and
the third object
is
inside
to
the object
and
the other object
is not
equal
to
the third object
(=>
(
and
(
bottom
?BOTTOM ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?BOTTOM)))
(
orientation
?PART ?BOTTOM
Above
))
Merge.kif 9838-9843
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
(
equal
?PLANE
(
LevelPlaneFn
?P ?A))
(
part
?P ?R)
(
instance
?R
Region
)
(
located
?R ?A))
(
exists
(?L)
(
and
(
instance
?L
LineInSpace
)
(
endPointsOfLineInSpace
?P
(
CenterOfPlanetFn
?A) ?L)
(
orientation
?PLANE ?L
RightAngle
))))
Mid-level-ontology.kif 27431-27443
If
a plane in space
is
equal
to the
PlaneInSpace
is perpendicular to the line formed by
a point in space
and the centre of the
AstronomicalBody
. and
the point in space
is a
part
of
an object
and
the object
is an
instance
of
region
and
the object
is
located
at
an astronomical body
,
then there exists
a finite line in space
such that
the finite line in space
is an
instance
of
line in space
and
the point in space
and the centre of
AstronomicalBody
the astronomical body
is are end points of
the finite line in space
and
the plane in space
is
right angle
to
the finite line in space
(=>
(
and
(
instance
?A
(
BodyAreaFn
?OC))
(
instance
?H
Animal
)
(
part
?A ?H))
(
exists
(?O)
(
and
(
instance
?O ?OC)
(
orientation
?A ?O
Near
)
(
part
?O ?H))))
Medicine.kif 6254-6263
If
an object
is an
instance
of
body area
a kind of body part
and
another object
is an
instance
of
animal
and
the object
is a
part
of
the other object
,
then there exists
a third object
such that
the third object
is an
instance
of
a kind of body part
and
the object
is
near
to
the third object
and
the third object
is a
part
of
the other object
(=>
(
and
(
instance
?A
Animal
)
(
instance
?P
(
BodySideFn
?S ?BPC))
(
contraryAttribute
?S ?SO)
(
attribute
?A
Healthy
))
(
exists
(?PO)
(
and
(
instance
?PO
(
BodySideFn
?SO ?BPC))
(
orientation
?P ?PO ?S))))
Merge.kif 15117-15128
If
an object
is an
instance
of
animal
and
another object
is an
instance
of the
an anti_symmetric positional attribute
a kind of body part
and
the anti_symmetric positional attribute
is the
opposite
of
the anti_symmetric positional attribute
O and
healthy
is an
attribute
of
the object
,
then there exists
the other object
O such that
the other object
O is an
instance
of the
the anti_symmetric positional attribute
O
a kind of body part
and
the other object
is
the anti_symmetric positional attribute
to
the other object
O
(=>
(
and
(
instance
?C
InPersonCommunication
)
(
agent
?C ?A1)
(
agent
?C ?A2)
(
not
(
equal
?A1 ?A2)))
(
holdsDuring
?C
(
orientation
?A1 ?A2
Near
)))
Media.kif 224-231
If
a process
is an
instance
of
in person communication
and
an agent
is an
agent
of
the process
and
another agent
is an
agent
of
the process
and
the agent
is not
equal
to
the other agent
,
then
the agent
is
near
to
the other agent
holds
during
the process
(=>
(
and
(
instance
?CHIN
Chin
)
(
instance
?FACE
Face
)
(
part
?CHIN ?FACE))
(
forall
(?PART)
(=>
(
and
(
part
?PART ?FACE)
(
not
(
part
?PART ?CHIN)))
(
orientation
?PART ?CHIN
Below
))))
Mid-level-ontology.kif 14261-14272
If
an object
is an
instance
of
chin
and
another object
is an
instance
of
face
and
the object
is a
part
of
the other object
,
then for all
a third object
if
the third object
is a
part
of
the other object
and
the third object
is not a
part
of
the object
,
then
the third object
is
below
to
the object
(=>
(
and
(
instance
?D
Dismounting
)
(
agent
?D ?A)
(
patient
?D ?O))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
orientation
?A ?O
On
))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
not
(
orientation
?A ?O
On
)))))
Mid-level-ontology.kif 21590-21602
If
a process
is an
instance
of
dismounting
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then
the agent
is
on
to
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the agent
is not
on
to
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?DIRECTION
DirectionalAttribute
)
(
instance
?AREA
GeographicArea
)
(
instance
(
DirectionalSubregionFn
?DIRECTION ?AREA)
GeographicArea
))
(
orientation
(
DirectionalSubregionFn
?DIRECTION ?AREA)
(
GeographicCenterFn
?AREA) ?DIRECTION))
Geography.kif 500-505
If
a directional attribute
is an
instance
of
directional attribute
and
a geographic area
is an
instance
of
geographic area
and the
directional
subregion of
the directional attribute
and
the geographic area
is an
instance
of
geographic area
,
then the
directional
subregion of
the directional attribute
and
the geographic area
is
the directional attribute
to the
geographic
center of
the geographic area
(=>
(
and
(
instance
?DROP
Falling
)
(
origin
?DROP ?START)
(
destination
?DROP ?FINISH))
(
orientation
?FINISH ?START
Below
))
Merge.kif 11722-11727
If
a process
is an
instance
of
falling
and
the process
originate
s at
an object
and
the process
end
s up at
another object
,
then
the other object
is
below
to
the object
(=>
(
and
(
instance
?E
Eyebrow
)
(
attribute
?H
Healthy
)
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?EYE ?E
Near
))))
Anatomy.kif 1474-1483
If
an object
is an
instance
of
eyebrow
and
healthy
is an
attribute
of
another object
and
the object
is a
part
of
the other object
,
then there exists
the object
YE such that
the object
YE is an
instance
of
eye
and
the object
YE is a
part
of
the other object
and
the object
YE is
near
to
the object
(=>
(
and
(
instance
?E
Eyebrow
)
(
holdsDuring
?T
(
and
(
attribute
?H
Healthy
)
(
attribute
?H
Standing
)))
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?E ?EYE
Above
))))
Anatomy.kif 1504-1516
If
an object
is an
instance
of
eyebrow
and
healthy
is an
attribute
of
another object
and
standing
is an
attribute
of
the other object
holds
during
a time position
and
the object
is a
part
of
the other object
,
then there exists
the object
YE such that
the object
YE is an
instance
of
eye
and
the object
YE is a
part
of
the other object
and
the object
is
above
to
the object
YE
(=>
(
and
(
instance
?F
Facility
)
(
attribute
?F
PhysicallyRestrictedRegion
))
(
exists
(?B)
(
and
(
instance
?B
Barrier
)
(
orientation
?F ?B
Surrounded
))))
Mid-level-ontology.kif 7806-7813
If
an object
is an
instance
of
Facility
and
physically restricted region
is an
attribute
of
the object
,
then there exists
another object
such that
the other object
is an
instance
of
barrier
and
the object
is
surrounded
to
the other object
(=>
(
and
(
instance
?F
Forehead
)
(
holdsDuring
?T
(
and
(
attribute
?H
Healthy
)
(
attribute
?H
Standing
)))
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?F ?EYE
Above
))))
Anatomy.kif 1523-1535
If
an object
is an
instance
of
forehead
and
healthy
is an
attribute
of
another object
and
standing
is an
attribute
of
the other object
holds
during
a time position
and
a third object
is a
part
of
the other object
,
then there exists
the third object
YE such that
the third object
YE is an
instance
of
eye
and
the third object
YE is a
part
of
the other object
and
the object
is
above
to
the third object
YE
(=>
(
and
(
instance
?FALL
Waterfall
)
(
instance
?CURRENT
WaterMotion
)
(
flowCurrent
?CURRENT ?FALL)
(
origin
?CURRENT ?TOP)
(
destination
?CURRENT ?BOTTOM)
(
instance
?TOP
WaterArea
)
(
instance
?BOTTOM
WaterArea
))
(
orientation
?TOP ?BOTTOM
Above
))
Geography.kif 5694-5703
If
a water area
is an
instance
of
waterfall
and
a water motion
is an
instance
of
water motion
and
the water area
is a
flow
current of
the water motion
and
the water motion
originate
s at
an object
and
the water motion
end
s up at
another object
and
the object
is an
instance
of
water area
and
the other object
is an
instance
of
water area
,
then
the object
is
above
to
the other object
(=>
(
and
(
instance
?LAND
Continent
)
(
not
(
equal
?LAND
Antarctica
)))
(
orientation
Antarctica
?LAND
South
))
Geography.kif 292-296
If
an object
is an
instance
of
continent
and
the object
is not
equal
to
antarctica
,
then
antarctica
is
south
to
the object
(=>
(
and
(
instance
?M
Mounting
)
(
agent
?M ?A)
(
patient
?M ?O))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?M))
(
not
(
orientation
?A ?O
On
)))
(
holdsDuring
(
EndFn
(
WhenFn
?M))
(
orientation
?A ?O
On
))))
Mid-level-ontology.kif 462-473
If
a process
is an
instance
of
mounting
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then
the agent
is not
on
to
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the agent
is
on
to
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?MEET
Meeting
)
(
agent
?MEET ?AGENT1)
(
agent
?MEET ?AGENT2))
(
holdsDuring
(
WhenFn
?MEET)
(
orientation
?AGENT1 ?AGENT2
Near
)))
Merge.kif 13421-13426
If
a process
is an
instance
of
meeting
and
an agent
is an
agent
of
the process
and
another agent
is an
agent
of
the process
,
then
the agent
is
near
to
the other agent
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?MID
MiddleCIButton
)
(
component
?MID ?DEV)
(
instance
?DEV
ComputerInputDevice
))
(
exists
(?LEFT ?RIGHT)
(
and
(
instance
?RIGHT
RightCIButton
)
(
instance
?LEFT
LeftCIButton
)
(
component
?RIGHT ?DEV)
(
component
?LEFT ?DEV)
(
between
?LEFT ?MID ?RIGHT)
(
orientation
?MID ?LEFT
Left
)
(
orientation
?MID ?RIGHT
Right
))))
ComputerInput.kif 224-237
If
a corpuscular object
is an
instance
of
middle CI button
and
the corpuscular object
is a
component
of
another corpuscular object
and
the other corpuscular object
is an
instance
of
computer input device
,
then there exist
a third corpuscular object
and
a fourth corpuscular object
such that
the fourth corpuscular object
is an
instance
of
right CI button
and
the third corpuscular object
is an
instance
of
left CI button
and
the fourth corpuscular object
is a
component
of
the other corpuscular object
and
the third corpuscular object
is a
component
of
the other corpuscular object
and
the corpuscular object
is
between
the third corpuscular object
and
the fourth corpuscular object
and
the corpuscular object
is
left
to
the third corpuscular object
and
the corpuscular object
is
right
to
the fourth corpuscular object
(=>
(
and
(
instance
?OF
OccludedFront
)
(
instance
?C
AirMass
)
(
origin
?OF ?C)
(
airTemperature
?C
(
MeasureFn
?X
CelsiusDegree
))
(
instance
?W
AirMass
)
(
airTemperature
?W
(
MeasureFn
?Y
CelsiusDegree
))
(
lessThan
?X ?Y)
(
moves
?OF ?W))
(
orientation
?C ?W
Below
))
Weather.kif 900-912
If
a motion
is an
instance
of
occluded front
and
an object
is an
instance
of
air mass
and
the motion
originate
s at
the object
and
a real number
celsius degree
(s) is an
air
temperature of
the object
and
another object
is an
instance
of
air mass
and
another real number
celsius degree
(s) is an
air
temperature of
the other object
and
the real number
is
less
than
the other real number
and
the other object
moves during
the motion
,
then
the object
is
below
to
the other object
(=>
(
and
(
instance
?P
AntiSymmetricPositionalAttribute
)
(
orientation
?O1 ?O2 ?P))
(
not
(
orientation
?O2 ?O1 ?P)))
Merge.kif 17225-17229
If
a positional attribute
is an
instance
of
anti_symmetric positional attribute
and
an object
is
the positional attribute
to
another object
,
then
the other object
is not
the positional attribute
to
the object
(=>
(
and
(
instance
?P
SymmetricPositionalAttribute
)
(
orientation
?O1 ?O2 ?P))
(
orientation
?O2 ?O1 ?P))
Merge.kif 17214-17218
If
a positional attribute
is an
instance
of
symmetric positional attribute
and
an object
is
the positional attribute
to
another object
,
then
the other object
is
the positional attribute
to
the object
(=>
(
and
(
instance
?P
ThreeDPrinting
)
(
instance
?O
Artifact
)
(
result
?P ?O))
(
exists
(?A ?X ?B ?Y)
(
and
(
instance
?A
Making
)
(
subProcess
?A ?P)
(
instance
?X
SelfConnectedObject
)
(
part
?X ?O)
(
result
?A ?X)
(
instance
?B
Making
)
(
subProcess
?B ?P)
(
instance
?Y
SelfConnectedObject
)
(
part
?Y ?O)
(
overlapsSpatially
?X ?Y)
(
orientation
?X ?Y
Below
)
(
during
(
WhenFn
?A)
(
WhenFn
?P))
(
during
(
WhenFn
?B)
(
WhenFn
?P))
(
earlier
(
WhenFn
?A)
(
WhenFn
?B)))))
QoSontology.kif 537-563
If
a process
is an
instance
of
3D printing
and
an object
is an
instance
of
artifact
and
the object
is a
result
of
the process
,
then there exist
another process
,
another object
,, ,
a third process
and
a third object
such that
the other process
is an
instance
of
making
and
the other process
is a
subprocess
of
the process
and
the other object
is an
instance
of
self connected object
and
the other object
is a
part
of
the object
and
the other object
is a
result
of
the other process
and
the third process
is an
instance
of
making
and
the third process
is a
subprocess
of
the process
and
the third object
is an
instance
of
self connected object
and
the third object
is a
part
of
the object
and
the other object
and
the third object
overlapsSpatially
and
the other object
is
below
to
the third object
and the
time
of existence of
the other process
takes place
during
the
time
of existence of
the process
and the
time
of existence of
the third process
takes place
during
the
time
of existence of
the process
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the third process
(=>
(
and
(
instance
?RIGHT
PhysicalRightCIButton
)
(
component
?RIGHT ?DEV)
(
instance
?DEV
ComputerInputDevice
))
(
exists
(?LEFT)
(
and
(
instance
?LEFT
PhysicalLeftCIButton
)
(
component
?LEFT ?DEV)
(
orientation
?RIGHT ?LEFT
Left
))))
ComputerInput.kif 204-213
If
a corpuscular object
is an
instance
of
physical right CI button
and
the corpuscular object
is a
component
of
another corpuscular object
and
the other corpuscular object
is an
instance
of
computer input device
,
then there exists
a third corpuscular object
such that
the third corpuscular object
is an
instance
of
physical left CI button
and
the third corpuscular object
is a
component
of
the other corpuscular object
and
the corpuscular object
is
left
to
the third corpuscular 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