meetsSpatially
(=>
(
instance
?KISS
Kissing
)
(
exists
(?PERSON1 ?PERSON2 ?LIP1 ?LIP2)
(
and
(
agent
?KISS ?PERSON1)
(
agent
?KISS ?PERSON2)
(
instance
?PERSON1
Human
)
(
instance
?PERSON2
Human
)
(
not
(
equal
?PERSON1 ?PERSON2))
(
instance
?LIP1
Lip
)
(
instance
?LIP2
Lip
)
(
part
?LIP1 ?PERSON1)
(
part
?LIP2 ?PERSON2)
(
holdsDuring
(
BeginFn
(
WhenFn
?KISS))
(
not
(
meetsSpatially
?LIP1 ?LIP2)))
(
holdsDuring
(
EndFn
(
WhenFn
?KISS))
(
meetsSpatially
?LIP1 ?LIP2)))))
Mid-level-ontology.kif 11603-11622
If
a process
is an
instance
of
kissing
,
then there exist
an agent
,
another agent
,, ,
an object
and
another object
such that
the agent
is an
agent
of
the process
and
the other agent
is an
agent
of
the process
and
the agent
is an
instance
of
human
and
the other agent
is an
instance
of
human
and
the agent
is not
equal
to
the other agent
and
the object
is an
instance
of
lip
and
the other object
is an
instance
of
lip
and
the object
is a
part
of
the agent
and
the other object
is a
part
of
the other agent
and
the object
doesn't
meet
the other object
holds
during
the
beginning
of the
time
of existence of
the process
and
the object
meet
s
the other object
holds
during
the
end
of the
time
of existence of
the process
(=>
(
instance
?LAND
Shoal
)
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
meetsSpatially
?LAND ?WATER))))
Geography.kif 5913-5918
If
an object
is an
instance
of
shoal
,
then there exists
another object
such that
the other object
is an
instance
of
water area
and
the object
meet
s
the other object
(=>
(
instance
?LAND
SubmergedLandArea
)
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
orientation
?LAND ?WATER
Below
)
(
orientation
?WATER ?LAND
On
)
(
meetsSpatially
?LAND ?WATER))))
Geography.kif 6072-6079
If
an object
is an
instance
of
submerged land area
,
then there exists
another object
such that
the other object
is an
instance
of
water area
and
the object
is
below
to
the other object
and
the other object
is
on
to
the object
and
the object
meet
s
the other object
(=>
(
instance
?LE
LungEpithelium
)
(
exists
(?L)
(
and
(
instance
?L
Lung
)
(
meetsSpatially
?L ?LE))))
Medicine.kif 3075-3080
If
an object
is an
instance
of
lung epithelium
,
then there exists
another object
such that
the other object
is an
instance
of
lung
and
the other object
meet
s
the object
(=>
(
instance
?LINE
Shoreline
)
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
meetsSpatially
?WATER ?LINE))))
Geography.kif 6138-6143
If
an object
is an
instance
of
shoreline
,
then there exists
another object
such that
the other object
is an
instance
of
water area
and
the other object
meet
s
the object
(=>
(
instance
?M
Meteorite
)
(
exists
(?T)
(
holdsDuring
?T
(
meetsSpatially
?M
PlanetEarth
))))
Geography.kif 3429-3433
If
an entity
is an
instance
of
meteorite
,
then there exists
a time position
such that
the entity
meet
s
planet earth
holds
during
the time position
(=>
(
instance
?MT
MudTire
)
(
hasPurpose
?MT
(
exists
(?M)
(
and
(
instance
?M
Mud
)
(
meetsSpatially
?MT ?M)))))
Cars.kif 5006-5012
If
a physical
is an
instance
of
mud tyre
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
mud
and
the physical
meet
s
the entity
(=>
(
instance
?OE
OutboardEngine
)
(
hasPurpose
?OE
(
exists
(?W)
(
and
(
instance
?W
WaterVehicle
)
(
meetsSpatially
?OE ?W)
(
orientation
?OE ?W
Outside
)))))
Cars.kif 4358-4365
If
a physical
is an
instance
of
outboard motor
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
water vehicle
and
the physical
meet
s
the entity
and
the physical
is
outside
to
the entity
(=>
(
instance
?PORT
RiverPort
)
(
exists
(?RIVER)
(
and
(
instance
?RIVER
River
)
(
instance
?RIVER
Waterway
)
(
meetsSpatially
?PORT ?RIVER))))
Transportation.kif 856-862
If
an object
is an
instance
of
river port
,
then there exists
another object
such that
the other object
is an
instance
of
river
and
the other object
is an
instance
of
waterway
and
the object
meet
s
the other object
(=>
(
instance
?SEA
Sea
)
(
exists
(?LAND)
(
and
(
instance
?LAND
LandArea
)
(
meetsSpatially
?LAND ?SEA))))
Geography.kif 4791-4796
If
an object
is an
instance
of
sea
,
then there exists
another object
such that
the other object
is an
instance
of
land area
and
the other object
meet
s
the object
(=>
(
instance
?V
Veil
)
(
hasPurpose
?V
(
exists
(?F ?H)
(
or
(
and
(
instance
?F
Face
)
(
meetsSpatially
?V ?F))
(
and
(
instance
?H
Hair
)
(
meetsSpatially
?V ?H))))))
Mid-level-ontology.kif 5472-5482
If
a physical
is an
instance
of
veil
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
face
and
the physical
meet
s
the entity
or
the other entity
is an
instance
of
hair
and
the physical
meet
s
the other entity
(=>
(
instance
?VRR
VehicleRoofRack
)
(
hasPurpose
?VRR
(
exists
(?T ?A ?C)
(
and
(
instance
?T
Transfer
)
(
patient
?T ?C)
(
instance
?A
Automobile
)
(
orientation
?VRR ?A
Outside
)
(
meetsSpatially
?C ?VRR)
(
part
?VRR ?A)
(
instrument
?T ?A)))))
Cars.kif 4677-4688
If
a physical
is an
instance
of
cargo rack
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
transfer
and
the third entity
is a
patient
of
the entity
and
the other entity
is an
instance
of
automobile
and
the physical
is
outside
to
the other entity
and
the third entity
meet
s
the physical
and
the physical
is a
part
of
the other entity
and
the other entity
is an
instrument
for
the entity
(=>
(
instance
?W
WasherForBolt
)
(
hasPurpose
?W
(
exists
(?O1 ?O2)
(
and
(
instance
?O1
CorpuscularObject
)
(
instance
?O2
AttachingDevice
)
(
meetsSpatially
?O1 ?W)
(
contains
?W ?O2)))))
Mid-level-ontology.kif 4285-4293
If
a physical
is an
instance
of
washer
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
corpuscular object
and
the other entity
is an
instance
of
attaching device
and
the entity
meet
s
the physical
and
the physical
contain
s
the other entity
(=>
(
instance
?WC
WheelChock
)
(
hasPurpose
?WC
(
exists
(?W ?T)
(
and
(
instance
?W
Wheel
)
(
holdsDuring
?T
(
and
(
meetsSpatially
?WC ?W)
(
not
(
exists
(?R)
(
and
(
instance
?R
Rotating
)
(
patient
?R ?W))))))))))
Cars.kif 4329-4342
If
a physical
is an
instance
of
wheel chock
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
wheel
and
the physical
meet
s
the entity
and there doesn't exist
a third entity
such that
the third entity
is an
instance
of
rotating
and
the entity
is a
patient
of
the third entity
holds
during
the other entity
(=>
(
instance
?X
BusStop
)
(
exists
(?R)
(
and
(
instance
?R
Roadway
)
(
meetsSpatially
?X ?R))))
Transportation.kif 2002-2007
If
an object
is an
instance
of
bus stop
,
then there exists
another object
such that
the other object
is an
instance
of
roadway
and
the object
meet
s
the other object
(=>
(
instance
?X
LandVehicle
)
(
hasPurpose
?X
(
exists
(?EV ?SURF)
(
and
(
surface
?SURF
GeographicArea
)
(
instance
?EV
Transportation
)
(
holdsDuring
(
WhenFn
?EV)
(
meetsSpatially
?X ?SURF))))))
Mid-level-ontology.kif 3472-3481
If
a physical
is an
instance
of
land vehicle
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the other entity
is a
surface
of
geographic area
and
the entity
is an
instance
of
transportation
and
the physical
meet
s
the other entity
holds
during
the
time
of existence of
the entity
(=>
(
instance
?X
MurphyBed
)
(
exists
(?STORAGE)
(
and
(
instance
?STORAGE
Compartment
)
(
meetsSpatially
?STORAGE ?X)
(
hasPurpose
?STORAGE
(
exists
(?K)
(
and
(
instance
?K
Keeping
)
(
patient
?K ?X)
(
destination
?K ?STORAGE)
(
holdsDuring
(
WhenFn
?K)
(
attribute
?X
Vertical
))))))))
Mid-level-ontology.kif 3893-3907
If
an object
is an
instance
of
pull-down bed
,
then there exists
another object
such that
the other object
is an
instance
of
compartment
and
the other object
meet
s
the object
and
the other object
has the purpose there exists
an entity
such that
the entity
is an
instance
of
keeping
and
the object
is a
patient
of
the entity
and
the entity
end
s up at
the other object
and
vertical
is an
attribute
of
the object
holds
during
the
time
of existence of
the entity
(=>
(
instance
?X
RailVehicle
)
(
hasPurpose
?X
(
exists
(?EV ?RAIL)
(
and
(
instance
?RAIL
Railway
)
(
instance
?EV
Transportation
)
(
holdsDuring
(
WhenFn
?EV)
(
meetsSpatially
?X ?RAIL))))))
Transportation.kif 2036-2045
If
a physical
is an
instance
of
rail vehicle
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
railway
and
the entity
is an
instance
of
transportation
and
the physical
meet
s
the other entity
holds
during
the
time
of existence of
the entity
(=>
(
instance
?X
Tripod
)
(
exists
(?LEG1 ?LEG2 ?LEG3)
(
and
(
part
?LEG1 ?X)
(
part
?LEG2 ?X)
(
part
?LEG3 ?X)
(
meetsSpatially
?LEG1 ?LEG2)
(
meetsSpatially
?LEG2 ?LEG3)
(
meetsSpatially
?LEG1 ?LEG3))))
Mid-level-ontology.kif 26696-26705
If
an object
is an
instance
of
tripod
,
then there exist
another object
,
a third object
and
a fourth object
such that
the other object
is a
part
of
the object
and
the third object
is a
part
of
the object
and
the fourth object
is a
part
of
the object
and
the other object
meet
s
the third object
and
the third object
meet
s
the fourth object
and
the other object
meet
s
the fourth object
(=>
(
instance
?X
WaterVehicle
)
(
hasPurpose
?X
(
exists
(?EV ?SURF)
(
and
(
instance
?SURF
Water
)
(
instance
?EV
Transportation
)
(
holdsDuring
(
WhenFn
?EV)
(
meetsSpatially
?X ?SURF))))))
Mid-level-ontology.kif 3487-3496
If
a physical
is an
instance
of
water vehicle
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
water
and
the entity
is an
instance
of
transportation
and
the physical
meet
s
the other entity
holds
during
the
time
of existence of
the entity
(=>
(
instance
?bank
RiverBank
)
(
exists
(?river)
(
and
(
instance
?river
River
)
(
meetsSpatially
?river ?bank))))
Geography.kif 5761-5766
If
an object
is an
instance
of
river bank
,
then there exists
another object
such that
the other object
is an
instance
of
river
and
the other object
meet
s
the object
(=>
(
instance
?zone
(
PerimeterAreaFn
?region))
(
meetsSpatially
?zone ?region))
Geography.kif 776-778
If
an object
is an
instance
of the
perimeter
area of
a region
,
then
the object
meet
s
the region
(=>
(
orientation
?OBJ1 ?OBJ2
Surrounded
)
(
forall
(?X)
(=>
(
side
?X ?OBJ1)
(
meetsSpatially
?X ?OBJ2))))
Mid-level-ontology.kif 25997-26002
If
a self connected object
is
surrounded
to
an object
,
then for all
another self connected object
if a
side
of
the self connected object
is
the other self connected object
,
then
the other self connected object
meet
s
the object
(=>
(
penetrates
?X ?Y)
(
meetsSpatially
?X ?Y))
Merge.kif 4215-4217
If
an object
penetrate
s
another object
,
then
the object
meet
s
the other object
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