properPart
(=>
(
instance
?PE
ProtectiveEyewear
)
(
hasPurpose
?PE
(
exists
(?PERSON ?FACE ?EYE ?COVER)
(
and
(
instance
?PERSON
Animal
)
(
instance
?FACE
Face
)
(
instance
?EYE
Eye
)
(
properPart
?EYE ?FACE)
(
properPart
?FACE ?PERSON)
(
wears
?PERSON ?PE)
(
instance
?COVER
Covering
)
(
agent
?COVER ?PE)
(
patient
?COVER ?FACE)))))
Cars.kif 3511-3524
If
a physical
is an
instance
of
protective eyewear
,
then
the physical
has the purpose there exist
the physical
RSON,
another entity
,, ,
a third entity
and
a fourth entity
such that
the physical
RSON is an
instance
of
animal
and
the other entity
is an
instance
of
face
and
the third entity
is an
instance
of
eye
and
the third entity
is a
proper
part
of
the other entity
and
the other entity
is a
proper
part
of
the physical
RSON and
the physical
RSON
wear
s
the physical
and
the fourth entity
is an
instance
of
covering
and
the physical
is an
agent
of
the fourth entity
and
the other entity
is a
patient
of
the fourth entity
(=>
(
instance
?ROOM
Room
)
(
exists
(?BUILD)
(
and
(
instance
?BUILD
Building
)
(
properPart
?ROOM ?BUILD))))
Merge.kif 15762-15767
If
an object
is an
instance
of
room
,
then there exists
another object
such that
the other object
is an
instance
of
building
and
the object
is a
proper
part
of
the other object
(=>
(
instance
?SEA
Sea
)
(
properPart
?SEA
WorldOcean
))
Geography.kif 4779-4781
If
an object
is an
instance
of
sea
,
then
the object
is a
proper
part
of
world ocean
(=>
(
instance
?SHELF
ContinentalShelf
)
(
exists
(?MARGIN)
(
and
(
instance
?MARGIN
ContinentalMargin
)
(
properPart
?SHELF ?MARGIN)
(
overlapsSpatially
?SHELF ?MARGIN))))
Geography.kif 6096-6102
If
an object
is an
instance
of
continental shelf
,
then there exists
another object
such that
the other object
is an
instance
of
continental margin
and
the object
is a
proper
part
of
the other object
and
the object
and
the other object
overlapsSpatially
(=>
(
instance
?STATE
County
)
(
exists
(?LAND)
(
and
(
instance
?LAND
StateOrProvince
)
(
properPart
?STATE ?LAND))))
Merge.kif 14258-14263
If
an object
is an
instance
of
county
,
then there exists
another object
such that
the other object
is an
instance
of
state or province
and
the object
is a
proper
part
of
the other object
(=>
(
instance
?STATE
StateOrProvince
)
(
exists
(?LAND)
(
and
(
instance
?LAND
Nation
)
(
properPart
?STATE ?LAND))))
Merge.kif 14237-14242
If
an object
is an
instance
of
state or province
,
then there exists
another object
such that
the other object
is an
instance
of
nation
and
the object
is a
proper
part
of
the other object
(=>
(
instance
?X
Exoskeleton
)
(
exists
(?A)
(
and
(
instance
?A
Animal
)
(
part
?X ?A)
(
not
(
exists
(?PART)
(
and
(
properPart
?PART ?A)
(
orientation
?PART ?X
Outside
)))))))
Mid-level-ontology.kif 11691-11701
If
an object
is an
instance
of
exoskeleton
,
then there exists
another object
such that
the other object
is an
instance
of
animal
and
the object
is a
part
of
the other object
and there doesn't exist
a third object
such that
the third object
is a
proper
part
of
the other object
and
the third object
is
outside
to
the 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