Organism
(organism)
(=>
(
instance
?POISON
Poisoning
)
(
exists
(?THING)
(
and
(
patient
?POISON ?THING)
(
or
(
instance
?THING
Organism
)
(
instance
?THING
AnatomicalStructure
)))))
Merge.kif 10463-10470
If
a process
is an
instance
of
poisoning
,
then there exists
an entity
such that
the entity
is a
patient
of
the process
and
the entity
is an
instance
of
organism
or
the entity
is an
instance
of
anatomical structure
(=>
(
instance
?PROC
BiologicalProcess
)
(
exists
(?OBJ)
(
and
(
instance
?OBJ
Organism
)
(
eventLocated
?PROC ?OBJ))))
Merge.kif 10136-10141
If
a process
is an
instance
of
biological process
,
then there exists
an object
such that
the object
is an
instance
of
organism
and
the process
is
located
at
the object
(=>
(
instance
?PROC
Excreting
)
(
exists
(?ORG ?WASTE ?PART)
(
and
(
instance
?ORG
Organism
)
(
agent
?PROC ?ORG)
(
patient
?PROC ?WASTE)
(
instance
?WASTE
Excrement
)
(
instance
?PART
BodyPart
)
(
instrument
?PROC ?PART))))
Mid-level-ontology.kif 2118-2127
If
a process
is an
instance
of
excreting
,
then there exist
an agent
,
an entity
and
an object
such that
the agent
is an
instance
of
organism
and
the agent
is an
agent
of
the process
and
the entity
is a
patient
of
the process
and
the entity
is an
instance
of
excrement
and
the object
is an
instance
of
body part
and
the object
is an
instrument
for
the process
(=>
(
instance
?STUFF
Tissue
)
(
exists
(?ORGANISM)
(
and
(
instance
?ORGANISM
Organism
)
(
part
?STUFF ?ORGANISM))))
Merge.kif 15141-15146
If
an object
is an
instance
of
tissue
,
then there exists
another object
such that
the other object
is an
instance
of
organism
and
the object
is a
part
of
the other object
(=>
(
instance
?VOCAL
Vocalizing
)
(
exists
(?CORD ?ORGANISM)
(
and
(
instance
?CORD
VocalCords
)
(
instrument
?VOCAL ?CORD)
(
part
?CORD ?ORGANISM)
(
instance
?ORGANISM
Organism
))))
Mid-level-ontology.kif 795-802
If
a process
is an
instance
of
vocalizing
,
then there exist
an object
and
another object
such that
the object
is an
instance
of
vocal cords
and
the object
is an
instrument
for
the process
and
the object
is a
part
of
the other object
and
the other object
is an
instance
of
organism
(=>
(
instance
?X
Excrement
)
(
exists
(?PROC ?ORG)
(
and
(
instance
?ORG
Organism
)
(
instance
?PROC
PhysiologicProcess
)
(
result
?PROC ?X)
(
agent
?PROC ?ORG))))
Mid-level-ontology.kif 2067-2074
If
an entity
is an
instance
of
excrement
,
then there exist
a process
and
an agent
such that
the agent
is an
instance
of
organism
and
the process
is an
instance
of
physiologic process
and
the entity
is a
result
of
the process
and
the agent
is an
agent
of
the process
(=>
(
patient
?RAIN
AcidRainfall
)
(
modalAttribute
(
exists
(?D ?O ?X ?L)
(
and
(
instance
?D
Damaging
)
(
causes
?RAIN ?D)
(
instrument
?D ?RAIN)
(
instance
?O
Organism
)
(
instance
?X
StationaryArtifact
)
(
instance
?L
Outdoors
)
(
located
?X ?L)
(
located
?O ?L)
(
or
(
patient
?D ?O)
(
patient
?D ?X))))
Possibility
))
Geography.kif 2519-2534
If
acid rainfall
is a
patient
of
a process
,
then the statement there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
damaging
and
the process
cause
s
the entity
and
the process
is an
instrument
for
the entity
and
the other entity
is an
instance
of
organism
and
the third entity
is an
instance
of
stationary artifact
and
the fourth entity
is an
instance
of
outdoors
and
the third entity
is
located
at
the fourth entity
and
the other entity
is
located
at
the fourth entity
and
the other entity
is a
patient
of
the entity
or
the third entity
is a
patient
of
the entity
has the
modal
force
of
possibility
(=>
(
subclass
?F
Fertilisation
)
(
capability
?F
patient
Organism
))
Mid-level-ontology.kif 23988-23990
If
a kind of process
is a
subclass
of
conceiving
,
then
organism
is
capable
of doing
a kind of process
as a
patient
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