result
(=>
(
and
(
instance
?REM
OrganismRemains
)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?ORG)
(
instance
?ORG ?ORGTYPE)
(
subclass
?ORGTYPE
OrganicObject
)
(
result
?DEATH ?REM))
(
instance
?REM
(
DeadFn
?ORGTYPE)))
Mid-level-ontology.kif 129-137
If
an entity
is an
instance
of
organism remains
and
a process
is an
instance
of
death
and
an agent
experience
s
the process
and
the agent
is an
instance
of
the agent
TYPE and
the agent
TYPE is a
subclass
of
organic object
and
the entity
is a
result
of
the process
,
then
the entity
is an
instance
of a
dead
the agent
TYPE
(=>
(
and
(
instance
?REP
AsexualReproduction
)
(
result
?REP ?ORGANISM)
(
parent
?ORGANISM ?PARENT1)
(
parent
?ORGANISM ?PARENT2))
(
equal
?PARENT1 ?PARENT2))
Merge.kif 10363-10369
If
a process
is an
instance
of
asexual reproduction
and
an organism
is a
result
of
the process
and
another organism
is a
parent
of
the organism
and
a third organism
is a
parent
of
the organism
,
then
the other organism
is
equal
to
the third organism
(=>
(
and
(
instance
?REP
Replication
)
(
agent
?REP ?PARENT)
(
result
?REP ?CHILD))
(
parent
?CHILD ?PARENT))
Merge.kif 10316-10321
If
a process
is an
instance
of
replication
and
an organism
is an
agent
of
the process
and
another organism
is a
result
of
the process
,
then
the organism
is a
parent
of
the other organism
(=>
(
and
(
instance
?REP
SexualReproduction
)
(
result
?REP ?ORGANISM))
(
exists
(?MOTHER ?FATHER)
(
and
(
mother
?ORGANISM ?MOTHER)
(
father
?ORGANISM ?FATHER))))
Merge.kif 10336-10343
If
a process
is an
instance
of
sexual reproduction
and
an organism
is a
result
of
the process
,
then there exist
another organism
and
a third organism
such that
the other organism
is a
mother
of
the organism
and
the third organism
is a
father
of
the organism
(=>
(
and
(
instance
?REQUEST
Requesting
)
(
result
?REQUEST ?SENTENCE)
(
instance
?SENTENCE
Sentence
))
(
instance
?SENTENCE
Request
))
Mid-level-ontology.kif 14276-14281
If
a process
is an
instance
of
requesting
and
an entity
is a
result
of
the process
and
the entity
is an
instance
of
sentence
,
then
the entity
is an
instance
of
request
(=>
(
and
(
instance
?S
Spamming
)
(
result
?S ?SPAM)
(
instance
?S
Spam
)
(
instance
?H
Human
)
(
destination
?S ?H))
(
not
(
exists
(?R)
(
and
(
instance
?R
Requesting
)
(
patient
?R ?SPAM)))))
ComputingBrands.kif 4197-4208
If
a process
is an
instance
of
spamming
and
the process
PAM is a
result
of
the process
and
the process
is an
instance
of
spam
and
another entity
is an
instance
of
human
and
the process
end
s up at
the other entity
,
then there doesn't exist
another process
such that
the other process
is an
instance
of
requesting
and
the process
PAM is a
patient
of
the other process
(=>
(
and
(
instance
?S
Spamming
)
(
result
?S ?SPAM)
(
instance
?S
Spam
)
(
instance
?H
Human
)
(
destination
?S ?H))
(
not
(
modalAttribute
(
wants
?H ?SPAM)
Likely
)))
ComputingBrands.kif 4210-4220
If
a process
is an
instance
of
spamming
and
the process
PAM is a
result
of
the process
and
the process
is an
instance
of
spam
and
another entity
is an
instance
of
human
and
the process
end
s up at
the other entity
,
then the statement
the other entity
want
s
the process
PAM doesn't have the
modal
force
of
likely
(=>
(
and
(
instance
?STATE
Stating
)
(
result
?STATE ?SENTENCE)
(
instance
?SENTENCE
Sentence
))
(
instance
?SENTENCE
Statement
))
Mid-level-ontology.kif 14236-14241
If
a process
is an
instance
of
stating
and
an entity
is a
result
of
the process
and
the entity
is an
instance
of
sentence
,
then
the entity
is an
instance
of
statement
(=>
(
and
(
instance
?STRAT
CounterTerrorismStrategy
)
(
instance
?PLANNING
OperationPlanning
)
(
result
?PLANNING ?STRAT))
(
exists
(?CT)
(
and
(
patient
?PLANNING ?CT)
(
instance
?CT
CounterTerrorism
))))
MilitaryProcesses.kif 2082-2090
If
an entity
is an
instance
of
counter terrorism strategy
and
a process
is an
instance
of
operation planning
and
the entity
is a
result
of
the process
,
then there exists
another entity
such that
the other entity
is a
patient
of
the process
and
the other entity
is an
instance
of
counter terrorism
(=>
(
and
(
instance
?SUPPOSE
Supposing
)
(
result
?SUPPOSE ?SENTENCE)
(
instance
?SENTENCE
Sentence
))
(
instance
?SENTENCE
Supposition
))
Mid-level-ontology.kif 14265-14270
If
a process
is an
instance
of
supposing
and
an entity
is a
result
of
the process
and
the entity
is an
instance
of
sentence
,
then
the entity
is an
instance
of
supposition
(=>
(
and
(
instance
?TRANSLATE
Translating
)
(
patient
?TRANSLATE ?EXPRESSION1)
(
result
?TRANSLATE ?EXPRESSION2))
(
exists
(?LANGUAGE1 ?LANGUAGE2 ?ENTITY)
(
and
(
representsInLanguage
?EXPRESSION1 ?ENTITY ?LANGUAGE1)
(
representsInLanguage
?EXPRESSION2 ?ENTITY ?LANGUAGE2)
(
not
(
equal
?LANGUAGE1 ?LANGUAGE2)))))
Merge.kif 12736-12745
If
a process
is an
instance
of
translating
and
a linguistic expression
is a
patient
of
the process
and
another linguistic expression
is a
result
of
the process
,
then there exist
a language
,
another language
and
an entity
such that
the linguistic expression
represent
s
the entity
in the language
the language
and
the other linguistic expression
represent
s
the entity
in the language
the other language
and
the language
is not
equal
to
the other language
(=>
(
and
(
instance
?W
Whiskey
)
(
instance
?D
Distilling
)
(
result
?D ?W)
(
resource
?DR ?W)
(
instance
?DR
Drinking
))
(
exists
(?C ?T ?H)
(
and
(
instance
?C
Cask
)
(
instance
?H
HoleRegion
)
(
hole
?H ?C)
(
holdsDuring
?T
(
partiallyFills
?W ?C))
(
earlier
?D ?T)
(
earlier
?T ?DR))))
Food.kif 3617-3632
If
an object
is an
instance
of
whiskey
and
a time interval
is an
instance
of
distilling
and
the object
is a
result
of
the time interval
and
the object
is a
resource
for
the time interval
R and
the time interval
R is an
instance
of
drinking
,
then there exist
a self connected object
,
a third time interval
and
a hole
such that
the self connected object
is an
instance
of
cask
and
the hole
is an
instance
of
hole
and
the hole
is a
hole
in
the self connected object
and
the object
partially
fill
s
the self connected object
holds
during
the third time interval
and
the time interval
happens
earlier
than
the third time interval
and
the third time interval
happens
earlier
than
the time interval
R
(=>
(
and
(
instance
?X
ReadOnlyMemoryDataStorage
)
(
instance
?FABRICATION
Manufacture
)
(
result
?FABRICATION ?X))
(
not
(
modalAttribute
(
exists
(?WRITE1 ?DATA1 ?WRITE2)
(
and
(
or
(
instance
?WRITE2
ContentDevelopment
)
(
instance
?WRITE2
DeletingData
))
(
earlier
(
WhenFn
?FABRICATION)
(
WhenFn
?WRITE1))
(
patient
?WRITE1 ?X)
(
patient
?WRITE1 ?DATA1)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WRITE1))
(
stored
?DATA1 ?X))))
Possibility
)))
Media.kif 768-788
If
an entity
is an
instance
of
read only memory data storage
and
a process
is an
instance
of
manufacture
and
the entity
is a
result
of
the process
,
then the statement there exist
another entity
,
a third entity
and
a fourth entity
such that
the fourth entity
is an
instance
of
content development
or
the fourth entity
is an
instance
of
deleting data
and the
time
of existence of
the process
happens
earlier
than the
time
of existence of
the other entity
and
the entity
is a
patient
of
the other entity
and
the third entity
is a
patient
of
the other entity
and
the third entity
is
stored
on
the entity
holds
during
immediately
after
the
time
of existence of
the other entity
doesn't have the
modal
force
of
possibility
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?REP
SexualReproduction
)
(
agent
?REP ?PARENT)
(
result
?REP ?CHILD))
(
or
(
mother
?CHILD ?PARENT)
(
father
?CHILD ?PARENT)))
Merge.kif 16386-16394
If
an organism
is a
parent
of
another organism
and
a process
is an
instance
of
sexual reproduction
and
the organism
is an
agent
of
the process
and
the other organism
is a
result
of
the process
,
then
the organism
is a
mother
of
the other organism
or
the organism
is a
father
of
the other organism
(=>
(
and
(
partyToAgreement
?A1 ?AG)
(
instance
?PROC
IntentionalProcess
)
(
located
?PROC ?LOC)
(
instance
?LOC
GeopoliticalArea
)
(
ageOfMajorityForProcess
(
MeasureFn
?N
YearDuration
) ?LOC ?PROC)
(
result
?PROC ?DOC)
(
recordForAgreement
?DOC ?AG)
(
attribute
?AG
Legal
))
(
holdsDuring
(
WhenFn
?PROC)
(
and
(
age
?A1
(
MeasureFn
?N2
YearDuration
))
(
greaterThan
?N2 ?N))))
Law.kif 573-588
If
an agreement
is a
party
to agreement of
a cognitive agent
and
a process
is an
instance
of
intentional process
and
the process
is
located
at
a geopolitical area
and
the geopolitical area
is an
instance
of
geopolitical area
and
a real number
year duration
(s) is the age of majority for
the process
in
the geopolitical area
and
a content bearing physical
is a
result
of
the process
and
the content bearing physical
is the
record
of
the agreement
and
legal
is an
attribute
of
the agreement
,
then the
age
of
the cognitive agent
is
the real number
2
year duration
(s) and
the real number
2 is
greater
than
the real number
holds
during
the
time
of existence of
the process
(=>
(
and
(
partyToAgreement
?A1 ?AG)
(
instance
?PROC
IntentionalProcess
)
(
located
?PROC ?LOC)
(
instance
?LOC
Nation
)
(
located
?PROC ?LOC2)
(
instance
?LOC2
GeopoliticalArea
)
(
ageOfMajorityForProcess
(
MeasureFn
?N2
YearDuration
) ?LOC ?PROC)
(
result
?PROC ?DOC)
(
recordForAgreement
?DOC ?AG)
(
holdsDuring
(
WhenFn
?PROC)
(
and
(
age
?A1
(
MeasureFn
?N3
YearDuration
))
(
greaterThan
?N3 ?N2))))
(
attribute
?AG
Legal
))
Law.kif 554-571
If
an agreement
is a
party
to agreement of
a cognitive agent
and
a process
is an
instance
of
intentional process
and
the process
is
located
at
a geopolitical area
and
the geopolitical area
is an
instance
of
nation
and
the process
is
located
at
the geopolitical area
2 and
the geopolitical area
2 is an
instance
of
geopolitical area
and
a real number
year duration
(s) is the age of majority for
the process
in
the geopolitical area
and
a content bearing physical
is a
result
of
the process
and
the content bearing physical
is the
record
of
the agreement
and the
age
of
the cognitive agent
is
an entity
year duration
(s) and
the entity
is
greater
than
the real number
holds
during
the
time
of existence of
the process
,
then
legal
is an
attribute
of
the agreement
(=>
(
and
(
partyToAgreement
?A1 ?AG)
(
instance
?PROC
IntentionalProcess
)
(
result
?PROC ?DOC)
(
recordForAgreement
?DOC ?AG)
(
attribute
?AG
Legal
))
(
holdsDuring
(
WhenFn
?PROC)
(
attribute
?A1
Sober
)))
Law.kif 515-524
If
an agreement
is a
party
to agreement of
a cognitive agent
and
a process
is an
instance
of
intentional process
and
a content bearing physical
is a
result
of
the process
and
the content bearing physical
is the
record
of
the agreement
and
legal
is an
attribute
of
the agreement
,
then
sober
is an
attribute
of
the cognitive agent
holds
during
the
time
of existence of
the process
(=>
(
and
(
produced
?P ?MOVIE)
(
instance
?FILMMAKING
FilmMaking
)
(
result
?FILMMAKING ?MOVIE))
(
holdsDuring
(
WhenFn
?FILMMAKING)
(
attribute
?P
FilmProducer
)))
Mid-level-ontology.kif 20710-20716
If
a recording
produces
a human
and
a process
is an
instance
of
film making
and
the recording
is a
result
of
the process
,
then
film producer
is an
attribute
of
the human
holds
during
the
time
of existence of
the process
(=>
(
and
(
resource
?PROC ?SUBSTANCE1)
(
result
?PROC ?SUBSTANCE2)
(
instance
?SUBSTANCE1
CompoundSubstance
)
(
instance
?SUBSTANCE2
ElementalSubstance
))
(
instance
?PROC
ChemicalDecomposition
))
Merge.kif 12563-12569
If
an object
is a
resource
for
a process
and
an entity
is a
result
of
the process
and
the object
is an
instance
of
compound substance
and
the entity
is an
instance
of
elemental substance
,
then
the process
is an
instance
of
chemical decomposition
(=>
(
and
(
resource
?PROC ?SUBSTANCE1)
(
result
?PROC ?SUBSTANCE2)
(
instance
?SUBSTANCE1
ElementalSubstance
)
(
instance
?SUBSTANCE2
CompoundSubstance
))
(
instance
?PROC
ChemicalSynthesis
))
Merge.kif 12527-12533
If
an object
is a
resource
for
a process
and
an entity
is a
result
of
the process
and
the object
is an
instance
of
elemental substance
and
the entity
is an
instance
of
compound substance
,
then
the process
is an
instance
of
chemical synthesis
(=>
(
result
?PROC ?OBJ)
(
forall
(?TIME)
(=>
(
before
?TIME
(
BeginFn
(
WhenFn
?PROC)))
(
not
(
time
?OBJ ?TIME)))))
Merge.kif 8124-8130
If
a physical
is a
result
of
a process
,
then for all
a time point
if
the time point
happens
before
the
beginning
of the
time
of existence of
the process
,
then
the physical
doesn't exist
during
the time point
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