result
(=>
(
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
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 26299-26315
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 26973-26999
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 1806-1811
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 12211-12220
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 14789-14798
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 3062-3075
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
hulled
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
HulledAttribute
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 20867-20874
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 1088-1094
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 436-465
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 20041-20050
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 4809-4818
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 5747-5767
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 2336-2346
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 717-726
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
(=>
(
authors
?AGENT ?TEXTCLASS)
(
exists
(?PROCESS ?INSTANCE)
(
and
(
agent
?PROCESS ?AGENT)
(
instance
?INSTANCE ?TEXTCLASS)
(
result
?PROCESS ?INSTANCE))))
Merge.kif 15466-15472
If
an agent
is the
author
of
a kind of content bearing object
,
then there exist
a process
and
an entity
such that
the agent
is an
agent
of
the process
and
the entity
is an
instance
of
a kind of content bearing object
and
the entity
is a
result
of
the process
(=>
(
composer
?A ?M)
(
exists
(?C)
(
and
(
instance
?C
Creation
)
(
agent
?C ?A)
(
result
?C ?M))))
Music.kif 148-154
If
a cognitive agent
composed
a musical composition
,
then there exists
a process
such that
the process
is an
instance
of
creation
and
the cognitive agent
is an
agent
of
the process
and
the musical composition
is a
result
of
the process
(=>
(
constructionPeriod
?OBJECT ?INTERVAL)
(
holdsDuring
?INTERVAL
(
exists
(?CONSTRUCTING)
(
and
(
instance
?CONSTRUCTING
Constructing
)
(
result
?CONSTRUCTING ?OBJECT)))))
Mid-level-ontology.kif 20808-20814
If
a stationary artifact
was
built
during
a time interval
,
then there exists
an entity
such that
the entity
is an
instance
of
constructing
and
the stationary artifact
is a
result
of
the entity
holds
during
the time interval
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