result
(=>
(
and
(
instance
?H
Harvesting
)
(
result
?H ?O))
(
exists
(?ORG)
(
and
(
instance
?O
(
DeadFn
?ORG))
(
subclass
?ORG
OrganicObject
))))
Mid-level-ontology.kif 18084-18092
If
a process
is an
instance
of
harvesting
and
an entity
is a
result
of
the process
,
then there exists
the entity
RG such that
the entity
is an
instance
of a
dead
the entity
RG and
the entity
RG is a
subclass
of
organic object
(=>
(
and
(
instance
?H
Harvesting
)
(
result
?H ?X)
(
instance
?X
Herb
))
(
attribute
?X
Produce
))
Food.kif 2159-2164
If
a process
is an
instance
of
harvesting
and
an object
is a
result
of
the process
and
the object
is an
instance
of
herb
,
then
produce
is an
attribute
of
the object
(=>
(
and
(
instance
?HELPING
Helping
)
(
agent
?HELPING ?AGENT)
(
result
?HELPING ?RESULT))
(
exists
(?PATIENT)
(
and
(
not
(
equal
?AGENT ?PATIENT))
(
or
(
patient
?HELPING ?PATIENT)
(
experiencer
?HELPING ?PATIENT))
(
wants
?PATIENT ?RESULT))))
MilitaryProcesses.kif 1419-1431
If
a process
is an
instance
of
helping
and
an agent
is an
agent
of
the process
and
a physical
is a
result
of
the process
,
then there exists
a cognitive agent
such that
the agent
is not
equal
to
the cognitive agent
and
the cognitive agent
is a
patient
of
the process
or
the cognitive agent
experience
s
the process
and
the cognitive agent
want
s
the physical
(=>
(
and
(
instance
?IC
IgnitionCoil
)
(
instance
?P
ElectricTransmission
)
(
resource
?P ?E1)
(
instance
?E1
Electricity
)
(
instance
?E2
Electricity
)
(
result
?P ?E2)
(
instrument
?P ?IC)
(
measure
?E1
(
MeasureFn
?N1
Volt
)))
(
approximateValue
?N1 12))
Cars.kif 3155-3165
If
an object
is an
instance
of
ignition coil
and
a process
is an
instance
of
electric transmission
and
another object
is a
resource
for
the process
and
the other object
is an
instance
of
electricity
and
an entity
is an
instance
of
electricity
and
the entity
is a
result
of
the process
and
the object
is an
instrument
for
the process
and the
measure
of
the other object
is
a real number
volt
(s),
then the approximate value of
the real number
is 12
(=>
(
and
(
instance
?JUDGE
Judging
)
(
agent
?JUDGE ?AGENT)
(
result
?JUDGE ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?JUDGE))
(
not
(
believes
?AGENT ?P)))
(
holdsDuring
(
EndFn
(
WhenFn
?JUDGE))
(
believes
?AGENT ?P))))
Merge.kif 12092-12106
If
a process
is an
instance
of
judging
and
an agent
is an
agent
of
the process
and
an entity
is a
result
of
the process
,
then
the agent
doesn't
believe
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the agent
believe
s
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?M
Measuring
)
(
result
?M ?Q)
(
instrument
?M ?C)
(
instance
?C
Clock
))
(
instance
?Q
TimeMeasure
))
Mid-level-ontology.kif 2886-2892
If
a process
is an
instance
of
measuring
and
an entity
is a
result
of
the process
and
an object
is an
instrument
for
the process
and
the object
is an
instance
of
clock
,
then
the entity
is an
instance
of
time measure
(=>
(
and
(
instance
?M
Measuring
)
(
result
?M ?Q)
(
instrument
?M ?T)
(
instance
?T
Thermometer
))
(
instance
?Q
TemperatureMeasure
))
Mid-level-ontology.kif 2922-2928
If
a process
is an
instance
of
measuring
and
an entity
is a
result
of
the process
and
an object
is an
instrument
for
the process
and
the object
is an
instance
of
thermometer
,
then
the entity
is an
instance
of
temperature measure
(=>
(
and
(
instance
?MEASURE
Measuring
)
(
patient
?MEASURE ?OBJ)
(
result
?MEASURE ?QUANTITY)
(
instrument
?MEASURE ?ABSOLUTEMETER)
(
instance
?ABSOLUTEMETER
AbsoluteAltimeter
))
(
exists
(?OBJ2)
(
and
(
altitude
?OBJ ?OBJ2 ?QUANTITY)
(
surface
?OBJ2
PlanetEarth
))))
MilitaryDevices.kif 1441-1451
If
a process
is an
instance
of
measuring
and
a physical
is a
patient
of
the process
and
a length measure
is a
result
of
the process
and
an object
is an
instrument
for
the process
and
the object
is an
instance
of
absolute altimeter
,
then there exists
the physical
2 such that the
altitude
of
the physical
is
the physical
2 and
the physical
2 is a
surface
of
planet earth
(=>
(
and
(
instance
?MEASURE
Measuring
)
(
patient
?MEASURE ?OBJ)
(
result
?MEASURE ?QUANTITY)
(
instrument
?MEASURE ?BAROMETER)
(
instance
?BAROMETER
BarometricAltimeter
))
(
altitude
?OBJ
SeaLevel
?QUANTITY))
MilitaryDevices.kif 1477-1484
If
a process
is an
instance
of
measuring
and
a physical
is a
patient
of
the process
and
a length measure
is a
result
of
the process
and
an object
is an
instrument
for
the process
and
the object
is an
instance
of
barometric altimeter
,
then the
altitude
of
the physical
is
sea level
(=>
(
and
(
instance
?MEASURE
Measuring
)
(
patient
?MEASURE ?OBJ)
(
surface
?OBJ
PlanetEarth
)
(
result
?MEASURE ?QUANTITY)
(
instrument
?MEASURE ?BAROMETER)
(
instance
?BAROMETER
BarometricAltimeter
))
(
elevation
?OBJ ?QUANTITY))
MilitaryDevices.kif 1488-1496
If
a process
is an
instance
of
measuring
and
a self connected object
is a
patient
of
the process
and
the self connected object
is a
surface
of
planet earth
and
a length measure
is a
result
of
the process
and
an object
is an
instrument
for
the process
and
the object
is an
instance
of
barometric altimeter
,
then
the length measure
is an
elevation
of
the self connected object
(=>
(
and
(
instance
?MEASURE
Measuring
)
(
result
?MEASURE ?QUANTITY)
(
instrument
?MEASURE ?ALTIMETER)
(
instance
?ALTIMETER
Altimeter
))
(
instance
?QUANTITY
AltitudeMeasure
))
MilitaryDevices.kif 1426-1432
If
a process
is an
instance
of
measuring
and
an entity
is a
result
of
the process
and
an object
is an
instrument
for
the process
and
the object
is an
instance
of
altimeter
,
then
the entity
is an
instance
of
altitude measure
(=>
(
and
(
instance
?MEASURE
Measuring
)
(
result
?MEASURE ?QUANTITY)
(
instrument
?MEASURE ?THERMOMETER)
(
instance
?THERMOMETER
Thermometer
))
(
instance
?QUANTITY
TemperatureMeasure
))
Mid-level-ontology.kif 2910-2916
If
a process
is an
instance
of
measuring
and
an entity
is a
result
of
the process
and
an object
is an
instrument
for
the process
and
the object
is an
instance
of
thermometer
,
then
the entity
is an
instance
of
temperature measure
(=>
(
and
(
instance
?ORDER
Ordering
)
(
result
?ORDER ?SENTENCE)
(
instance
?SENTENCE
Sentence
))
(
instance
?SENTENCE
Order
))
Mid-level-ontology.kif 14287-14292
If
a process
is an
instance
of
ordering
and
an entity
is a
result
of
the process
and
the entity
is an
instance
of
sentence
,
then
the entity
is an
instance
of
order
(=>
(
and
(
instance
?P
ForestProduct
)
(
instance
?M
Manufacture
)
(
result
?M ?P)
(
patient
?M ?X)
(
instance
?X
Organism
))
(
exists
(?A ?F)
(
and
(
instance
?A
Agriculture
)
(
result
?A ?X)
(
eventLocated
?A ?F)
(
instance
?F
Forest
))))
Economy.kif 5210-5222
If
an entity
is an
instance
of
forest product
and
a process
is an
instance
of
manufacture
and
the entity
is a
result
of
the process
and
another entity
is a
patient
of
the process
and
the other entity
is an
instance
of
organism
,
then there exist
another process
and
an object
such that
the other process
is an
instance
of
agriculture
and
the other entity
is a
result
of
the other process
and
the other process
is
located
at
the object
and
the object
is an
instance
of
forest
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?WRITE
Writing
)
(
or
(
instance
?TEXT
Text
)
(
instance
?TEXT
Document
))
(
result
?WRITE ?TEXT)
(
agent
?WRITE ?PERSON))
(
attribute
?PERSON
Writer
))
Biography.kif 742-751
If
an agent
is an
instance
of
human
and
a process
is an
instance
of
writing
and
an entity
is an
instance
of
text
or
the entity
is an
instance
of
document
and
the entity
is a
result
of
the process
and
the agent
is an
agent
of
the process
,
then
writer
is an
attribute
of
the agent
(=>
(
and
(
instance
?PLAN
OperationPlan
)
(
containsInformation
?CBO ?PLAN)
(
instance
?CBO
ContentBearingObject
)
(
result
?EVENT ?CBO))
(
instance
?EVENT
OperationPlanning
))
MilitaryProcesses.kif 1535-1541
If
a proposition
is an
instance
of
operation plan
and
a content bearing physical
contain
s information
the proposition
and
the content bearing physical
is an
instance
of
content bearing object
and
the content bearing physical
is a
result
of
a process
,
then
the process
is an
instance
of
operation planning
(=>
(
and
(
instance
?PLAN
OperationPlan
)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?PLAN)
(
instance
?OP
MilitaryOperation
)
(
result
?OP ?CBO))
(
represents
?PLAN ?OP))
MilitaryProcesses.kif 1573-1580
If
a proposition
is an
instance
of
operation plan
and
a content bearing physical
is an
instance
of
content bearing object
and
the content bearing physical
contain
s information
the proposition
and
a process
is an
instance
of
military operation
and
the content bearing physical
is a
result
of
the process
,
then
the proposition
express
es
the process
(=>
(
and
(
instance
?PLANNING
JointOperationPlanning
)
(
result
?PLANNING ?CBO)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?INFO))
(
instance
?INFO
OPLAN
))
MilitaryProcesses.kif 1812-1818
If
a process
is an
instance
of
joint operation planning
and
a content bearing physical
is a
result
of
the process
and
the content bearing physical
is an
instance
of
content bearing object
and
the content bearing physical
contain
s information
a proposition
,
then
the proposition
is an
instance
of
OPLAN
(=>
(
and
(
instance
?PROC
ChemicalProcess
)
(
or
(
resource
?PROC ?STUFF)
(
result
?PROC ?STUFF)))
(
instance
?STUFF
PureSubstance
))
Merge.kif 12514-12520
If
a process
is an
instance
of
chemical process
and
an object
is a
resource
for
the process
or
the object
is a
result
of
the process
,
then
the object
is an
instance
of
pure substance
(=>
(
and
(
instance
?PROC
IntentionalProcess
)
(
result
?PROC ?DOC)
(
recordForAgreement
?DOC ?AG)
(
attribute
?AG
Legal
))
(
exists
(?O ?A ?A1 ?A2)
(
and
(
instance
?O
Offering
)
(
instance
?A
ReachingAgreement
)
(
refers
?O ?AG)
(
refers
?A ?AG)
(
agent
?O ?A1)
(
agent
?A ?A2)
(
earlier
(
WhenFn
?O)
(
WhenFn
?A)))))
Law.kif 526-540
If
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
an agreement
and
legal
is an
attribute
of
the agreement
,
then there exist
another process
,
a third process
,, ,
the third process
1 and
the third process
2 such that
the other process
is an
instance
of
offering
and
the third process
is an
instance
of
reaching agreement
and
the other process
includes a
reference
to
the agreement
and
the third process
includes a
reference
to
the agreement
and
the third process
1 is an
agent
of
the other process
and
the third process
2 is an
agent
of
the third process
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the third process
(=>
(
and
(
instance
?PROCESS
Separating
)
(
resource
?PROCESS ?SOURCE)
(
result
?PROCESS ?PRODUCT)
(
instance
?PRODUCT
Iron
))
(
instance
?SOURCE
IronOre
))
Economy.kif 5629-5635
If
a process
is an
instance
of
separating
and
an object
is a
resource
for
the process
and
an entity
is a
result
of
the process
and
the entity
is an
instance
of
iron
,
then
the object
is an
instance
of
iron ore
(=>
(
and
(
instance
?QUESTION
Questioning
)
(
result
?QUESTION ?SENTENCE)
(
instance
?SENTENCE
Sentence
))
(
instance
?SENTENCE
Question
))
Mid-level-ontology.kif 14254-14259
If
a process
is an
instance
of
questioning
and
an entity
is a
result
of
the process
and
the entity
is an
instance
of
sentence
,
then
the entity
is an
instance
of
question
(=>
(
and
(
instance
?RA
ReachingAgreement
)
(
agent
?RA ?AGENT)
(
result
?RA ?PROP)
(
instance
?PROP
Agreement
))
(
holdsDuring
(
FutureFn
(
WhenFn
?RA))
(
partyToAgreement
?AGENT ?PROP)))
Media.kif 153-160
If
a process
is an
instance
of
reaching agreement
and
an agent
is an
agent
of
the process
and
an entity
is a
result
of
the process
and
the entity
is an
instance
of
agreement
,
then
the entity
is a
party
to agreement of
the agent
holds
during
after
the
time
of existence of
the process
(=>
(
and
(
instance
?REM
(
DeadFn
?ORGTYPE))
(
instance
?DEATH
Death
)
(
result
?DEATH ?REM)
(
experiencer
?DEATH ?ORG))
(
instance
?ORG ?ORGTYPE))
Mid-level-ontology.kif 121-127
If
an entity
is an
instance
of a
dead
a kind of organic object
and
a process
is an
instance
of
death
and
the entity
is a
result
of
the process
and
an agent
experience
s
the process
,
then
the agent
is an
instance
of
a kind of organic object
(=>
(
and
(
instance
?REM
OrganicObject
)
(
instance
?DEATH
Death
)
(
instance
?ORG
Organism
)
(
experiencer
?DEATH ?ORG)
(
result
?DEATH ?REM))
(
instance
?REM
OrganismRemains
))
Mid-level-ontology.kif 58-65
If
an entity
is an
instance
of
organic object
and
a process
is an
instance
of
death
and
an agent
is an
instance
of
organism
and
the agent
experience
s
the process
and
the entity
is a
result
of
the process
,
then
the entity
is an
instance
of
organism remains
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