orientation
(=>
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?O)
(
orientation
?O2 ?O
On
))
(
objectTransferred
?T ?O2))
Merge.kif 11359-11364
If
a transfer
is an
instance
of
transfer
and the object transferred in
the transfer
is
an object
and
the object
2 is
on
to
the object
,
then the object transferred in
the transfer
is
the object
2
(=>
(
and
(
instance
?basin
Basin
)
(
instance
?area
LandArea
)
(
instance
?U
UnitOfLength
)
(
earthAltitude
?basin
(
MeasureFn
?height1 ?U))
(
earthAltitude
?area
(
MeasureFn
?height2 ?U))
(
orientation
?basin ?area
Adjacent
))
(
greaterThan
?height2 ?height1))
Geography.kif 4247-4257
If
an object
is an
instance
of
basin
and
another object
is an
instance
of
land area
and
an unit of measure
is an
instance
of
unit of length
and
the object
is
a real number
the unit of measure
(s)
above
the ground and
the other object
is
another real number
the unit of measure
(s)
above
the ground and
the object
is
adjacent
to
the other object
,
then
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?piedmont
Piedmont
)
(
attribute
?mountains
MountainousTerrain
)
(
orientation
?piedmont ?mountains
Adjacent
)
(
instance
?U
UnitOfLength
)
(
height
?piedmont
(
MeasureFn
?height1 ?U))
(
height
?mountains
(
MeasureFn
?height2 ?U)))
(
greaterThan
?height2 ?height1))
Geography.kif 4206-4216
If
a self connected object
is an
instance
of
piedmont
and
mountainous terrain
is an
attribute
of
another self connected object
and
the self connected object
is
adjacent
to
the other self connected object
and
an unit of measure
is an
instance
of
unit of length
and the
height
of
the self connected object
is
a real number
the unit of measure
(s) and the
height
of
the other self connected object
is
another real number
the unit of measure
(s),
then
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?place
UndergroundArea
)
(
instance
?U
UnitOfLength
)
(
earthAltitude
?place
(
MeasureFn
?alt1 ?U))
(
surface
?ground
PlanetEarth
)
(
part
?area ?ground)
(
orientation
?place ?area
Below
)
(
earthAltitude
?area
(
MeasureFn
?alt2 ?U)))
(
greaterThan
?alt2 ?alt1))
Geography.kif 3999-4010
If
an object
is an
instance
of
underground area
and
an unit of measure
is an
instance
of
unit of length
and
the object
is
a real number
the unit of measure
(s)
above
the ground and
a self connected object
is a
surface
of
planet earth
and
another object
is a
part
of
the self connected object
and
the object
is
below
to
the other object
and
the other object
is
another real number
the unit of measure
(s)
above
the ground,
then
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?valley
Valley
)
(
instance
?area
LandArea
)
(
instance
?U
UnitOfLength
)
(
earthAltitude
?valley
(
MeasureFn
?height1 ?U))
(
earthAltitude
?area
(
MeasureFn
?height2 ?U))
(
orientation
?valley ?area
Adjacent
))
(
greaterThan
?height2 ?height1))
Geography.kif 4231-4241
If
an object
is an
instance
of
valley
and
another object
is an
instance
of
land area
and
an unit of measure
is an
instance
of
unit of length
and
the object
is
a real number
the unit of measure
(s)
above
the ground and
the other object
is
another real number
the unit of measure
(s)
above
the ground and
the object
is
adjacent
to
the other object
,
then
the other real number
is
greater
than
the real number
(=>
(
and
(
orientation
?OBJ ?REGION
Outside
)
(
instance
?ZONE
(
PerimeterAreaFn
?REGION))
(
instance
?ZONE
UniformPerimeterArea
)
(
width
?ZONE
(
MeasureFn
?LIMIT ?UNIT))
(
distance
?OBJ ?REGION
(
MeasureFn
?FAR ?UNIT))
(
instance
?UNIT
UnitOfMeasure
)
(
greaterThan
(
SubtractionFn
?FAR ?LIMIT) 0.0))
(
not
(
located
?OBJ ?ZONE)))
Geography.kif 863-872
If
an object
is
outside
to
a region
and
another object
is an
instance
of the
perimeter
area of
the region
and
the other object
is an
instance
of
uniform perimeter area
and the
width
of
the other object
is
a real number
an unit of measure
(s) and the
distance
between
the object
and
the region
is
another real number
the unit of measure
(s) and
the unit of measure
is an
instance
of
unit of measure
and (
the other real number
and
the real number
) is
greater
than 0.0,
then
the object
is not
located
at
the other object
(=>
(
and
(
orientation
?OBJ ?REGION
Outside
)
(
instance
?ZONE
(
PerimeterAreaFn
?REGION))
(
instance
?ZONE
UniformPerimeterArea
)
(
width
?ZONE
(
MeasureFn
?LIMIT ?UNIT))
(
distance
?OBJ ?REGION
(
MeasureFn
?FAR ?UNIT))
(
instance
?UNIT
UnitOfMeasure
)
(
lessThanOrEqualTo
(
SubtractionFn
?FAR ?LIMIT) 0.0))
(
located
?OBJ ?ZONE))
Geography.kif 852-861
If
an object
is
outside
to
a region
and
another object
is an
instance
of the
perimeter
area of
the region
and
the other object
is an
instance
of
uniform perimeter area
and the
width
of
the other object
is
a real number
an unit of measure
(s) and the
distance
between
the object
and
the region
is
another real number
the unit of measure
(s) and
the unit of measure
is an
instance
of
unit of measure
and (
the other real number
and
the real number
) is
less
than or equal to 0.0,
then
the object
is
located
at
the other object
(=>
(
and
(
orientation
?OBJ1 ?OBJ2 ?ATTR1)
(
contraryAttribute
@ROW)
(
inList
?ATTR1
(
ListFn
@ROW))
(
inList
?ATTR2
(
ListFn
@ROW))
(
not
(
equal
?ATTR1 ?ATTR2)))
(
not
(
orientation
?OBJ1 ?OBJ2 ?ATTR2)))
Merge.kif 16921-16929
If
an object
is
a positional attribute
to
another object
and @ROW is the
opposite
of and
the positional attribute
is a
member
of (@ROW) and
another positional attribute
is a
member
of (@ROW) and
the positional attribute
is not
equal
to
the other positional attribute
,
then
the object
is not
the other positional attribute
to
the other object
(=>
(
and
(
orientation
?OBJ1 ?OBJ2 ?DIR)
(
instance
?DIR
PositionalAttribute
)
(
oppositeDirection
?DIR ?OPPDIR))
(
orientation
?OBJ2 ?OBJ1 ?OPPDIR))
Mid-level-ontology.kif 18136-18141
If
an object
is
a positional attribute
to
another object
and
the positional attribute
is an
instance
of
positional attribute
and
another positional attribute
is an
opposite
direction of
the positional attribute
,
then
the other object
is
the other positional attribute
to
the object
(=>
(
and
(
orientation
?X ?Y
Right
)
(
orientation
?Z ?Y
Left
))
(
orientation
?X ?Z
Right
))
Merge.kif 16931-16935
If
an object
is
right
to
another object
and
a third object
is
left
to
the other object
,
then
the object
is
right
to
the third object
(=>
(
and
(
subclass
?T1C
Tissue
)
(
subclass
?T2C
Tissue
)
(
instance
?T1 ?T1C)
(
instance
?T2 ?T2C)
(
instance
?H
Human
)
(
part
?T1 ?H)
(
part
?T2 ?H)
(
not
(
equal
?T1C ?T2C))
(
not
(
subclass
?T1C ?T2C))
(
not
(
subclass
?T2C ?T1C))
(
orientation
?T1 ?T2
Adjacent
))
(
modalAttribute
(
exists
(?CT)
(
and
(
instance
?CT
ConnectiveTissue
)
(
between
?T1 ?CT ?T2)))
Likely
))
Merge.kif 15166-15187
If
a class
is a
subclass
of
tissue
and
another class
is a
subclass
of
tissue
and
an object
is an
instance
of
the class
and
another object
is an
instance
of
the other class
and
a third object
is an
instance
of
human
and
the object
is a
part
of
the third object
and
the other object
is a
part
of
the third object
and
the class
is not
equal
to
the other class
and
the class
is not a
subclass
of
the other class
and
the other class
is not a
subclass
of
the class
and
the object
is
adjacent
to
the other object
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
connective tissue
and
the entity
is
between
the object
and
the other object
has the
modal
force
of
likely
(=>
(
and
(
viewType
?ROOM ?OBJ)
(
instance
?ROOM
Room
)
(
instance
?INST ?OBJ)
(
orientation
?INST ?ROOM
Outside
))
(
modalAttribute
(
exists
(?HUMAN ?SEE)
(
and
(
instance
?HUMAN
Human
)
(
located
?HUMAN ?ROOM)
(
instance
?SEE
Seeing
)
(
patient
?SEE ?INST)
(
agent
?SEE ?HUMAN)))
Possibility
))
Hotel.kif 954-967
If a person in
an object
can
see
a kind of physical
and
the object
is an
instance
of
room
and
another object
is an
instance
of
a kind of physical
and
the other object
is
outside
to
the object
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
human
and
the entity
is
located
at
the object
and
the other entity
is an
instance
of
seeing
and
the other object
is a
patient
of
the other entity
and
the entity
is an
agent
of
the other entity
has the
modal
force
of
possibility
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
instance
?Time
DayTime
)
(
instance
?Observe
Looking
)
(
instance
?B
Object
)
(
color
?B
Black
)
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
eventLocated
?Observe ?Area)
(
during
(
WhenFn
?Observe) ?Time)
(
instance
?B
Object
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2728-2748
If the
visibility
at
a region
during
a time interval
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of measure
and
the time interval
is an
instance
of
day time
and
a process
is an
instance
of
looking
and
an object
is an
instance
of
object
and
the object
is the
color
black
and
an agent
is an
agent
of
the process
and
the object
is a
patient
of
the process
and
the agent
is
horizontal
to
the object
and
the process
is
located
at
the region
and the
time
of existence of
the process
takes place
during
the time interval
and
the object
is an
instance
of
object
,
then there exists
another real number
such that the
distance
between
the agent
and
the object
is
the other real number
the unit of measure
(s) and
the real number
is
greater
than
the other real number
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
instance
?Time
NightTime
)
(
instance
?Observe
Looking
)
(
instance
?B
Region
)
(
attribute
?B
Illuminated
)
(
measure
?B
(
MeasureFn
1000.0
Candela
))
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
eventLocated
?Observe ?Area)
(
during
(
WhenFn
?Observe) ?Time)
(
instance
?B
Object
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2750-2771
If the
visibility
at
a region
during
a time interval
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of measure
and
the time interval
is an
instance
of
night time
and
a process
is an
instance
of
looking
and
an object
is an
instance
of
region
and
illuminated
is an
attribute
of
the object
and the
measure
of
the object
is 1000.0
candela
(s) and
an agent
is an
agent
of
the process
and
the object
is a
patient
of
the process
and
the agent
is
horizontal
to
the object
and
the process
is
located
at
the region
and the
time
of existence of
the process
takes place
during
the time interval
and
the object
is an
instance
of
object
,
then there exists
another real number
such that the
distance
between
the agent
and
the object
is
the other real number
the unit of measure
(s) and
the real number
is
greater
than
the other real number
(=>
(
orientation
?O1 ?O2
Downstream
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O2)
(
beforeOnPath
?O2 ?O1 ?P ?T)
(
destination
?T ?O1))))
Mid-level-ontology.kif 29801-29810
If
an object
is
downstream
to
another object
,
then there exist
a transfer
,
a third object
and
a fourth object
such that
the transfer
is an
instance
of
transfer
and
liquid
is an
attribute
of
the third object
and
the fourth object
is
path
along which
the transfer
occurs and
the transfer
originate
s at
the other object
and
the other object
before
the object
on path
the fourth object
during
the transfer
and
the transfer
end
s up at
the object
(=>
(
orientation
?O1 ?O2
Downwind
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O2)
(
beforeOnPath
?O2 ?O1 ?P ?T)
(
destination
?T ?O1))))
Mid-level-ontology.kif 29823-29832
If
an object
is
downwind
to
another object
,
then there exist
a transfer
,
a third object
and
a fourth object
such that
the transfer
is an
instance
of
transfer
and
liquid
is an
attribute
of
the third object
and
the fourth object
is
path
along which
the transfer
occurs and
the transfer
originate
s at
the other object
and
the other object
before
the object
on path
the fourth object
during
the transfer
and
the transfer
end
s up at
the object
(=>
(
orientation
?O1 ?O2
Upstream
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O1)
(
beforeOnPath
?O1 ?O2 ?P ?T)
(
destination
?T ?O2))))
Mid-level-ontology.kif 29790-29799
If
an object
is
upstream
to
another object
,
then there exist
a transfer
,
a third object
and
a fourth object
such that
the transfer
is an
instance
of
transfer
and
liquid
is an
attribute
of
the third object
and
the fourth object
is
path
along which
the transfer
occurs and
the transfer
originate
s at
the object
and
the object
before
the other object
on path
the fourth object
during
the transfer
and
the transfer
end
s up at
the other object
(=>
(
orientation
?O1 ?O2
Upwind
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O1)
(
beforeOnPath
?O1 ?O2 ?P ?T)
(
destination
?T ?O2))))
Mid-level-ontology.kif 29812-29821
If
an object
is
upwind
to
another object
,
then there exist
a transfer
,
a third object
and
a fourth object
such that
the transfer
is an
instance
of
transfer
and
liquid
is an
attribute
of
the third object
and
the fourth object
is
path
along which
the transfer
occurs and
the transfer
originate
s at
the object
and
the object
before
the other object
on path
the fourth object
during
the transfer
and
the transfer
end
s up at
the other object
(=>
(
orientation
?OBJ ?REGION
Inside
)
(
instance
?REGION
Region
))
Mid-level-ontology.kif 9115-9117
If
an object
is
inside
to
another object
,
then
the other object
is an
instance
of
region
(=>
(
orientation
?OBJ ?REGION
Outside
)
(
instance
?REGION
Region
))
Mid-level-ontology.kif 9111-9113
If
an object
is
outside
to
another object
,
then
the other object
is an
instance
of
region
(=>
(
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
Downstairs
)
(
exists
(?LEVEL1 ?LEVEL2 ?BUILDING)
(
and
(
instance
?LEVEL1
BuildingLevel
)
(
instance
?LEVEL2
BuildingLevel
)
(
instance
?BUILDING
Building
)
(
part
?LEVEL1 ?BUILDING)
(
part
?LEVEL2 ?BUILDING)
(
located
?OBJ1 ?LEVEL1)
(
located
?OBJ2 ?LEVEL2)
(
orientation
?LEVEL1 ?LEVEL2
Below
))))
Mid-level-ontology.kif 19237-19248
If
an object
is
downstairs
to
another object
,
then there exist
a third object
,
a fourth object
and
a fifth object
such that
the third object
is an
instance
of
building level
and
the fourth object
is an
instance
of
building level
and
the fifth object
is an
instance
of
building
and
the third object
is a
part
of
the fifth object
and
the fourth object
is a
part
of
the fifth object
and
the object
is
located
at
the third object
and
the other object
is
located
at
the fourth object
and
the third object
is
below
to
the fourth object
(=>
(
orientation
?OBJ1 ?OBJ2
Inside
)
(
located
?OBJ1 ?OBJ2))
Merge.kif 17154-17156
If
an object
is
inside
to
another object
,
then
the object
is
located
at
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
Near
)
(
orientation
?OBJ2 ?OBJ1
Near
))
Merge.kif 17137-17139
If
an object
is
near
to
another object
,
then
the other object
is
near
to
the 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