result
(=>
(
and
(
instance
?PLAN
Plan
)
(
instance
?PROC
Process
)
(
represents
?PLAN ?PROC))
(
exists
(?PLANNING ?CBO)
(
and
(
instance
?PLANNING
Planning
)
(
instance
?CBO
ContentBearingPhysical
)
(
containsInformation
?CBO ?PLAN)
(
result
?PLANNING ?CBO)
(
earlier
(
BeginFn
(
WhenFn
?PLANNING))
(
BeginFn
(
WhenFn
?PROC)))
(
earlier
(
EndFn
(
WhenFn
?PLANNING))
(
EndFn
(
WhenFn
?PROC))))))
Military.kif 32-44
If
a proposition
is an
instance
of
plan
and
a physical
is an
instance
of
process
and
the proposition
express
es
the physical
,
then there exist
the proposition
NING and
a content bearing physical
such that
the proposition
NING is an
instance
of
planning
and
the content bearing physical
is an
instance
of
content bearing physical
and
the content bearing physical
contain
s information
the proposition
and
the content bearing physical
is a
result
of
the proposition
NING and the
beginning
of the
time
of existence of
the proposition
NING happens
earlier
than the
beginning
of the
time
of existence of
the physical
and the
end
of the
time
of existence of
the proposition
NING happens
earlier
than the
end
of the
time
of existence of
the physical
(=>
(
and
(
instance
?PSYOP
PsychologicalOperation
)
(
agent
?PSYOP ?AGENT)
(
patient
?PSYOP ?TARGET))
(
hasPurpose
?PSYOP
(
exists
(?PROCESS ?RESULT)
(
and
(
agent
?PROCESS ?TARGET)
(
result
?PROCESS ?RESULT)
(
desires
?AGENT ?RESULT)))))
MilitaryProcesses.kif 1184-1194
If
a process
is an
instance
of
psychological operation
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then
the process
has the purpose there exist
another entity
and
a third entity
such that
the entity
is an
agent
of
the other entity
and
the third entity
is a
result
of
the other entity
and
the agent
desire
s
the third entity
(=>
(
and
(
instance
?X
OrderingParts
)
(
patient
?X ?P))
(
exists
(?A ?M)
(
and
(
part
?P ?A)
(
instance
?A
Artifact
)
(
instance
?M
Manufacture
)
(
result
?M ?A)
(
subProcess
?X ?M))))
Economy.kif 2090-2100
If
a process
is an
instance
of
Ordering parts
and
an object
is a
patient
of
the process
,
then there exist
another object
and
another process
such that
the object
is a
part
of
the other object
and
the other object
is an
instance
of
artifact
and
the other process
is an
instance
of
manufacture
and
the other object
is a
result
of
the other process
and
the process
is a
subprocess
of
the other process
(=>
(
and
(
instance
?X
PartInspection
)
(
patient
?X ?P)
(
instance
?P
SelfConnectedObject
))
(
exists
(?A ?M)
(
and
(
part
?P ?A)
(
instance
?A
Artifact
)
(
instance
?M
Manufacture
)
(
result
?M ?A)
(
subProcess
?X ?M))))
Economy.kif 2059-2070
If
a process
is an
instance
of
part inspection
and
an object
is a
patient
of
the process
and
the object
is an
instance
of
self connected object
,
then there exist
another object
and
another process
such that
the object
is a
part
of
the other object
and
the other object
is an
instance
of
artifact
and
the other process
is an
instance
of
manufacture
and
the other object
is a
result
of
the other process
and
the process
is a
subprocess
of
the other process
(=>
(
and
(
instance
?X
Photocopier
)
(
instrument
?COPY ?X)
(
instance
?COPY
Photocopying
)
(
patient
?COPY ?OBJ1)
(
instance
?OBJ1
TwoDimensionalObject
)
(
instance
?OBJ1
VisualContentBearingObject
)
(
containsInformation
?OBJ1 ?INFO))
(
exists
(?OBJ2 ?SHEET)
(
and
(
result
?COPY ?OBJ2)
(
instance
?OBJ2
TwoDimensionalObject
)
(
instance
?OBJ2
VisualContentBearingObject
)
(
containsInformation
?OBJ2 ?INFO)
(
located
?OBJ2 ?SHEET)
(
instance
?SHEET
PrintedSheet
))))
Mid-level-ontology.kif 28200-28216
If
an object
is an
instance
of
photocopier
and
the object
is an
instrument
for
a process
and
the process
is an
instance
of
photocopying
and
a content bearing physical
is a
patient
of
the process
and
the content bearing physical
is an
instance
of
two dimensional object
and
the content bearing physical
is an
instance
of
visual content bearing object
and
the content bearing physical
contain
s information
a proposition
,
then there exist
another content bearing physical
and
another object
such that
the other content bearing physical
is a
result
of
the process
and
the other content bearing physical
is an
instance
of
two dimensional object
and
the other content bearing physical
is an
instance
of
visual content bearing object
and
the other content bearing physical
contain
s information
the proposition
and
the other content bearing physical
is
located
at
the other object
and
the other object
is an
instance
of
printed sheet
(=>
(
and
(
instance
?X
SurveillanceSystem
)
(
member
?X ?VIDEO)
(
member
?X ?DISPLAY)
(
located
?VIDEO ?LOC1)
(
instance
?VIDEO
Camera
)
(
located
?DISPLAY ?LOC2)
(
not
(
equal
?LOC1 ?LOC2))
(
instance
?DISPLAY
VideoDisplay
))
(
hasPurpose
?X
(
exists
(?PROC ?VID ?RL ?CAPTURE)
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC1)
(
represents
?VID ?PROC)
(
instrument
?CAPTURE
Camera
)
(
result
?CAPTURE ?VID)
(
instance
?RL
RadiatingLight
)
(
instrument
?RL ?DISPLAY)
(
patient
?RL ?VID)
(
before
(
BeginFn
?PROC)
(
BeginFn
?CAPTURE))
(
before
(
BeginFn
?CAPTURE)
(
BeginFn
?RL))))))
Mid-level-ontology.kif 28874-28900
If
a physical
is an
instance
of
surveillance system
and
the physical
is a
member
of
a collection
and
the physical
is a
member
of
another collection
and
the collection
is
located
at
an object
and
the collection
is an
instance
of
camera
and
the other collection
is
located
at
another object
and
the object
is not
equal
to
the other object
and
the other collection
is an
instance
of
video display
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
process
and
the entity
is
located
at
the object
and
the other entity
express
es
the entity
and
camera
is an
instrument
for
the fourth entity
and
the other entity
is a
result
of
the fourth entity
and
the third entity
is an
instance
of
radiating light
and
the other collection
is an
instrument
for
the third entity
and
the other entity
is a
patient
of
the third entity
and the
beginning
of
the entity
happens
before
the
beginning
of
the fourth entity
and the
beginning
of
the fourth entity
happens
before
the
beginning
of
the third entity
(=>
(
and
(
measuringResult
?MLIST ?RLIST)
(
equal
?M
(
ListOrderFn
?MLIST ?N))
(
equal
?R
(
ListOrderFn
?RLIST ?N)))
(
result
?M ?R))
Weather.kif 2322-2327
If
a measuring result list
is the
result
of
a measuring list
and
a process
is
equal
to
an entity
element
of
the measuring list
and
another entity
is
equal
to
the entity
element
of
the measuring result list
,
then
the other entity
is a
result
of
the process
(=>
(
and
(
secretesSubstance
?O ?S)
(
instance
?I1 ?O))
(
exists
(?P ?I2)
(
and
(
instance
?P
BiologicalProcess
)
(
eventLocated
?P ?I1)
(
result
?P ?I2)
(
instance
?I2 ?S))))
Mid-level-ontology.kif 13542-13551
If
a kind of natural substance
is a
secretes
substance of
a kind of organic object
and
an object
is an
instance
of
a kind of organic object
,
then there exist
a process
and
an entity
such that
the process
is an
instance
of
biological process
and
the process
is
located
at
the object
and
the entity
is a
result
of
the process
and
the entity
is an
instance
of
a kind of natural substance
(=>
(
and
(
subclass
?PAPER
Newspaper
)
(
instance
?WEEK
Week
))
(
exists
(?PUBLICATION ?ISSUE)
(
and
(
instance
?PUBLICATION
Publication
)
(
temporalPart
(
WhenFn
?PUBLICATION) ?WEEK)
(
result
?PUBLICATION ?ISSUE)
(
instance
?ISSUE ?PAPER))))
Mid-level-ontology.kif 16162-16171
If
a class
is a
subclass
of
newspaper
and
a time position
is an
instance
of
week
,
then there exist
a process
and
an entity
such that
the process
is an
instance
of
publication
and the
time
of existence of
the process
is a
part
of
the time position
and
the entity
is a
result
of
the process
and
the entity
is an
instance
of
the class
(=>
(
and
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
instance
?ATTR
FoodRating
)
(
instance
?ENTITY
AutonomousAgent
))
(
exists
(?FOOD ?COOK ?CLASSIFY)
(
and
(
instance
?COOK
Cooking
)
(
agent
?COOK ?ENTITY)
(
result
?COOK ?FOOD)
(
instance
?CLASSIFY
Classifying
)
(
agent
?CLASSIFY ?AGENT)
(
destination
?CLASSIFY ?FOOD)
(
patient
?CLASSIFY ?ATTR))))
Hotel.kif 3073-3086
If
an agent
believes
another agent
is
an attribute
and
the attribute
is an
instance
of
food rating
and
the other agent
is an
instance
of
agent
,
then there exist
an entity
,
a process
and
another process
such that
the process
is an
instance
of
cooking
and
the other agent
is an
agent
of
the process
and
the entity
is a
result
of
the process
and
the other process
is an
instance
of
classifying
and
the agent
is an
agent
of
the other process
and
the other process
end
s up at
the entity
and
the attribute
is a
patient
of
the other process
(=>
(
attribute
?F
CuredAttribute
)
(
exists
(?C)
(
and
(
instance
?C
CuringFood
)
(
result
?C ?F))))
Food.kif 70-75
If
cured
is an
attribute
of
an object
,
then there exists
a process
such that
the process
is an
instance
of
curing food
and
the object
is a
result
of
the process
(=>
(
attribute
?F
DryRoastAttribute
)
(
exists
(?X)
(
and
(
instance
?X
DryRoasting
)
(
result
?X ?F))))
Food.kif 114-119
If
dry roast
is an
attribute
of
an object
,
then there exists
a process
such that
the process
is an
instance
of
dry roasting
and
the object
is a
result
of
the process
(=>
(
attribute
?F
HulledAttribute
)
(
exists
(?X)
(
and
(
instance
?X
Hulling
)
(
result
?X ?F))))
Food.kif 160-165
If
hulled
is an
attribute
of
an object
,
then there exists
a process
such that
the process
is an
instance
of
hulling
and
the object
is a
result
of
the process
(=>
(
attribute
?FOOD
CookedAttribute
)
(
exists
(?PROC1 ?PROC2)
(
and
(
instance
?PROC1
Cooking
)
(
instance
?PROC2
Heating
)
(
subProcess
?PROC2 ?PROC1)
(
result
?PROC1 ?FOOD))))
Food.kif 37-44
If
cooked
is an
attribute
of
an object
,
then there exist
a process
and
another process
such that
the process
is an
instance
of
cooking
and
the other process
is an
instance
of
heating
and
the other process
is a
subprocess
of
the process
and
the object
is a
result
of
the process
(=>
(
attribute
?FOOD
FermentedAttribute
)
(
exists
(?F)
(
and
(
instance
?F
Fermentation
)
(
result
?F ?FOOD))))
Food.kif 211-216
If
fermented
is an
attribute
of
an object
,
then there exists
a process
such that
the process
is an
instance
of
fermentation
and
the object
is a
result
of
the process
(=>
(
attribute
?FOOD
RawAttribute
)
(
not
(
exists
(?PROC)
(
and
(
instance
?PROC
Heating
)
(
result
?PROC ?FOOD)))))
Food.kif 55-61
If
raw food
is an
attribute
of
an object
,
then there doesn't exist
a process
such that
the process
is an
instance
of
heating
and
the object
is a
result
of
the process
(=>
(
attribute
?H
Potter
)
(
exists
(?M ?P)
(
and
(
instance
?P
Pottery
)
(
instance
?M
Making
)
(
agent
?M ?H)
(
result
?M ?P))))
Mid-level-ontology.kif 22484-22491
If
potter
is an
attribute
of
an agent
,
then there exist
a process
and
an entity
such that
the entity
is an
instance
of
pottery
and
the process
is an
instance
of
making
and
the agent
is an
agent
of
the process
and
the entity
is a
result
of
the process
(=>
(
attribute
?ROOM
ThemeRoom
)
(
exists
(?DESIGN ?PROP)
(
and
(
instance
?DESIGN
Designing
)
(
result
?DESIGN ?PROP)
(
represents
?ROOM ?PROP))))
Hotel.kif 1096-1102
If
theme room
is an
attribute
of
an object
,
then there exist
a process
and
an entity
such that
the process
is an
instance
of
designing
and
the entity
is a
result
of
the process
and
the object
express
es
the entity
(=>
(
attribute
?X
AeronauticalEngineer
)
(
exists
(?SKILL)
(
and
(
hasSkill
?SKILL ?X)
(
forall
(?P)
(=>
(
instance
?P ?SKILL)
(
or
(
exists
(?CONS ?OBJ ?PT)
(
and
(
instance
?CONS
Making
)
(
or
(
instance
?OBJ
Aircraft
)
(
and
(
instance
?OBJ ?PT)
(
typicalPart
?PT
Aircraft
)))
(
result
?CONS ?OBJ)
(
subProcess
?P ?CONS)))
(
exists
(?DESIGN ?PLAN ?OBJ ?PT)
(
and
(
instance
?DESIGN
Designing
)
(
or
(
instance
?OBJ
Aircraft
)
(
and
(
instance
?OBJ ?PT)
(
typicalPart
?PT
Aircraft
)))
(
result
?DESIGN ?PLAN)
(
represents
?PLAN ?OBJ)
(
subProcess
?P ?DESIGN)))))))))
Biography.kif 444-473
If
aeronautical engineer
is an
attribute
of
an agent
,
then there exists
a kind of process
such that
the agent
has the
skill
to do
a kind of process
and for all
another process
if
the other process
is an
instance
of
the kind of process
,
then there exist
a third process
,
an entity
and
the other process
T such that
the third process
is an
instance
of
making
and
the entity
is an
instance
of
aircraft
or
the entity
is an
instance
of
the other process
T and a
the other process
T is
typically
a
part
of a
aircraft
and
the entity
is a
result
of
the third process
and
the other process
is a
subprocess
of
the third process
or there exist
a fourth process
,
the other process
LAN,, ,
the entity
and
the other process
T such that
the fourth process
is an
instance
of
designing
and
the entity
is an
instance
of
aircraft
or
the entity
is an
instance
of
the other process
T and a
the other process
T is
typically
a
part
of a
aircraft
and
the other process
LAN is a
result
of
the fourth process
and
the other process
LAN
express
es
the entity
and
the other process
is a
subprocess
of
the fourth process
(=>
(
attribute
?X
Fodder
)
(
hasPurpose
?X
(
exists
(?H)
(
and
(
instance
?H
Harvesting
)
(
result
?H ?X)
(
instance
?X
OrganicObject
)
(
instance
?X
(
FoodForFn
DomesticAnimal
))))))
Mid-level-ontology.kif 21628-21637
If
fodder
is an
attribute
of
an object
,
then
the object
has the purpose there exists
an entity
such that
the entity
is an
instance
of
harvesting
and
the object
is a
result
of
the entity
and
the object
is an
instance
of
organic object
and
the object
is an
instance
of
food
for
domestic animal
(=>
(
attribute
?X
ForageCrop
)
(
hasPurpose
?X
(
exists
(?A)
(
and
(
instance
?A
Agriculture
)
(
result
?A ?X)
(
instance
?X
Plant
)
(
instance
?X
(
FoodForFn
DomesticAnimal
))))))
Economy.kif 5149-5158
If
forage crop
is an
attribute
of
an object
,
then
the object
has the purpose there exists
an entity
such that
the entity
is an
instance
of
agriculture
and
the object
is a
result
of
the entity
and
the object
is an
instance
of
plant
and
the object
is an
instance
of
food
for
domestic animal
(=>
(
attribute
?X
MeanOfProduction
)
(
hasPurpose
?X
(
or
(
exists
(?MAKE ?PRODUCT)
(
and
(
instance
?MAKE
Making
)
(
involvedInEvent
?MAKE ?X)
(
not
(
result
?MAKE ?X))
(
instance
?PRODUCT
Artifact
)
(
result
?MAKE ?PRODUCT)
(
hasPurpose
?PRODUCT
(
exists
(?SELL)
(
and
(
instance
?SELL
Selling
)
(
patient
?SELL ?PRODUCT))))))
(
exists
(?SERVICE)
(
and
(
instance
?SERVICE
CommercialService
)
(
involvedInEvent
?SERVICE ?X))))))
Economy.kif 6089-6109
If
mean of production
is an
attribute
of
an object
,
then
the object
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
making
and
the object
is an
involved
in event of
the entity
and
the object
is not a
result
of
the entity
and
the other entity
is an
instance
of
artifact
and
the other entity
is a
result
of
the entity
and
the other entity
has the purpose there exists
a third entity
such that
the third entity
is an
instance
of
selling
and
the other entity
is a
patient
of
the third entity
or there exists
a fourth entity
such that
the fourth entity
is an
instance
of
commercial service
and
the object
is an
involved
in event of
the fourth entity
(=>
(
attribute
?X
TourArrangementAndReservationServices
)
(
hasPurpose
?X
(
exists
(?PROC ?RESERVE)
(
and
(
instance
?RESERVE
TourReservation
)
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?X)
(
or
(
result
?PROC ?RESERVE)
(
patient
?PROC ?RESERVE))))))
Hotel.kif 2347-2357
If
tour arrangement and reservation services
is an
attribute
of
an object
,
then
the object
has the purpose there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
tour reservation
and
the entity
is an
instance
of
intentional process
and
the object
is an
agent
of
the entity
and
the other entity
is a
result
of
the entity
or
the other entity
is a
patient
of
the entity
(=>
(
attribute
?X
TravelArrangementAndReservationServices
)
(
hasPurpose
?X
(
exists
(?PROC ?RESERVE)
(
and
(
instance
?RESERVE
TravelReservation
)
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?X)
(
or
(
result
?PROC ?RESERVE)
(
patient
?PROC ?RESERVE))))))
naics.kif 10451-10461
If
travel arrangement and reservation services
is an
attribute
of
an object
,
then
the object
has the purpose there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
travel reservation
and
the entity
is an
instance
of
intentional process
and
the object
is an
agent
of
the entity
and
the other entity
is a
result
of
the entity
or
the other entity
is a
patient
of
the entity
(=>
(
attribute
?X
Writer
)
(
exists
(?OBJ ?PROC)
(
and
(
instance
?PROC
Writing
)
(
or
(
instance
?OBJ
Text
)
(
instance
?OBJ
Document
))
(
agent
?PROC ?X)
(
result
?PROC ?OBJ))))
Biography.kif 725-734
If
writer
is an
attribute
of
an agent
,
then there exist
an entity
and
a process
such that
the process
is an
instance
of
writing
and
the entity
is an
instance
of
text
or
the entity
is an
instance
of
document
and
the agent
is an
agent
of
the process
and
the entity
is a
result
of
the process
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
