result
(=>
(
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 203-232
If
aeronautical engineer
is an
attribute
of
an agent
,
then there exists
a kind of process
such that
the agent
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
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 4632-4652
If
mean of production
is an
attribute
of
an object
,
then
the object
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
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 2282-2292
If
tour arrangement and reservation services
is an
attribute
of
an object
,
then
the object
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 10374-10384
If
travel arrangement and reservation services
is an
attribute
of
an object
,
then
the object
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)
(
and
(
instance
?PROC
Writing
)
(
or
(
instance
?OBJ
Text
)
(
instance
?OBJ
Document
))
(
agent
?PROC ?X)
(
result
?PROC ?OBJ))))
Biography.kif 481-490
If
writer
is an
attribute
of
an agent
,
then there exists
an entity
such that
a 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 14285-14291
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
(
agent
?C ?A)
(
result
?C ?M))))
Music.kif 147-152
If
an agent
composed
a kind of musical composition
,
then there exists
a process
such that
the agent
is an
agent
of
the process
and
a kind of 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 18462-18468
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
(=>
(
contestEntry
?ENT ?AGENT ?CONT)
(
exists
(?P ?J)
(
and
(
instance
?P
IntentionalProcess
)
(
agent
?P ?AGENT)
(
result
?P ?ENT)
(
instance
?J
Judging
)
(
patient
?J ?ENT))))
Music.kif 1076-1084
If
a cognitive agent
entered
an entity
in
a contest
,
then there exist
a process
and
another process
such that
the process
is an
instance
of
intentional process
and
the cognitive agent
is an
agent
of
the process
and
the entity
is a
result
of
the process
and
the other process
is an
instance
of
judging
and
the entity
is a
patient
of
the other process
(=>
(
contestObject
?CONTEST ?OBJ ?AGENT)
(
and
(
contestParticipant
?CONTEST ?AGENT)
(
exists
(?MAKE ?JUDGE ?PROC)
(
and
(
instance
?MAKE
Making
)
(
result
?MAKE ?OBJ)
(
agent
?MAKE ?AGENT)
(
instance
?PROC
Judging
)
(
agent
?PROC ?JUDGE)
(
patient
?PROC ?OBJ)
(
result
?PROC
(
subjectiveAttribute
?OBJ ?ATTR ?JUDGE))
(
subProcess
?PROC ?CONTEST)))))
Dining.kif 836-849
If
an agent
entered
an object
in
a contest
,
then
the agent
participates
in
the contest
and there exist
a process
,
another agent
and
another process
such that
the process
is an
instance
of
making
and
the object
is a
result
of
the process
and
the agent
is an
agent
of
the process
and
the other process
is an
instance
of
judging
and
the other agent
is an
agent
of
the other process
and
the object
is a
patient
of
the other process
and
the other agent
believes
the object
is
an entity
is a
result
of
the other process
and
the other process
is a
subprocess
of
the contest
(=>
(
contractor
?BUILDING ?CONTRACTOR)
(
exists
(?CONTRACT ?AGENT)
(
and
(
property
?CONTRACT
Contract
)
(
partyToAgreement
?AGENT ?CONTRACT)
(
partyToAgreement
?CONTRACTOR ?CONTRACT)
(
confersObligation
(
exists
(?CONSTRUCT ?BUILDING2)
(
and
(
instance
?CONSTRUCT
Constructing
)
(
agent
?CONSTRUCT ?CONTRACTOR)
(
result
?CONSTRUCT ?BUILDING2)
(
instance
?BUILDING2
StationaryArtifact
))) ?AGENT ?CONTRACTOR))))
Mid-level-ontology.kif 18477-18490
If
a cognitive agent
has a
contract
to
build
a stationary artifact
,
then there exist
an agreement
and
another cognitive agent
such that
the agreement
the
attribute
contract
and
the agreement
is a
party
to agreement of
the other cognitive agent
and
the agreement
is a
party
to agreement of
the cognitive agent
and
the other cognitive agent
obligate
s
the cognitive agent
to perform task of the type there exist
an entity
and
the stationary artifact
2 such that
the entity
is an
instance
of
constructing
and
the cognitive agent
is an
agent
of
the entity
and
the stationary artifact
2 is a
result
of
the entity
and
the stationary artifact
2 is an
instance
of
stationary artifact
(=>
(
creator
?AGENT ?ENTITY)
(
exists
(?CREATION)
(
and
(
instance
?CREATION
Creation
)
(
agent
?CREATION ?AGENT)
(
result
?CREATION ?ENTITY))))
Mid-level-ontology.kif 11330-11336
If
an agent
created
an entity
,
then there exists
a process
such that
the process
is an
instance
of
creation
and
the agent
is an
agent
of
the process
and
the entity
is a
result
of
the process
(=>
(
directed
?DIRECTOR ?MOVIE)
(
exists
(?FILMMAKING ?FILMCREW)
(
and
(
instance
?FILMMAKING
FilmMaking
)
(
instance
?FILMCREW
Organization
)
(
leader
?FILMCREW ?DIRECTOR)
(
agent
?FILMMAKING ?FILMCREW)
(
result
?FILMMAKING ?MOVIE))))
Mid-level-ontology.kif 18382-18390
If
a human
directed
a motion picture
,
then there exist
a process
and
an agent
such that
the process
is an
instance
of
film making
and
the agent
is an
instance
of
organization
and
the human
is a
leader
of
the agent
and
the agent
is an
agent
of
the process
and
the motion picture
is a
result
of
the process
(=>
(
engineers
?AGENT ?OBJECT)
(
exists
(?ENGINEERING)
(
and
(
instance
?ENGINEERING
EngineersProcess
)
(
agent
?ENGINEERING ?AGENT)
(
result
?ENGINEERING ?OBJECT))))
engineering.kif 1208-1214
If
an agent
engineers
an artifact
,
then there exists
a process
such that
the process
is an
instance
of
engineers process
and
the agent
is an
agent
of
the process
and
the artifact
is a
result
of
the process
(=>
(
equal
?S
(
RemixFn
?M ?A))
(
exists
(?P)
(
and
(
instance
?P
IntentionalProcess
)
(
patient
?P ?M)
(
agent
?P ?A)
(
result
?P ?S)
(
not
(
equal
?S ?M))
(
not
(
copy
?S ?M)))))
Music.kif 885-894
If
a music recording
is
equal
to the
remix
of
another music recording
by
a cognitive agent
,
then there exists
a process
such that
the process
is an
instance
of
intentional process
and
the other music recording
is a
patient
of
the process
and
the cognitive agent
is an
agent
of
the process
and
the music recording
is a
result
of
the process
and
the music recording
is not
equal
to
the other music recording
and
the music recording
is not a
copy
of
the other music recording
(=>
(
finalExperimentReport
?CBP ?EXPERIMENT)
(
exists
(?RESULT)
(
and
(
result
?EXPERIMENT ?RESULT)
(
containsInformation
?CBP ?RESULT))))
UXExperimentalTerms.kif 2907-2912
If the
final
report
for
an experimenting
is
a content bearing physical
,
then there exists
a proposition
such that
the proposition
is a
result
of
the experimenting
and
the content bearing physical
contain
s information
the proposition
(=>
(
fulfillingEntity
?ENTITY ?RESERVE)
(
exists
(?P)
(
and
(
instance
?P
Reserving
)
(
destination
?P ?ENTITY)
(
result
?P ?RESERVE))))
Dining.kif 643-649
If
an agent
fulfills
a reservation
,
then there exists
a process
such that
the process
is an
instance
of
reserving
and
the process
end
s up at
the agent
and
the reservation
is a
result
of
the process
(=>
(
hasExpertise
?H
Architecture
)
(
exists
(?D ?P ?B)
(
and
(
instance
?D
ContentDevelopment
)
(
agent
?D ?H)
(
result
?D ?P)
(
instance
?P
Blueprint
)
(
represents
?P ?B)
(
instance
?B
Building
))))
Mid-level-ontology.kif 18874-18883
If
architecture
has an expertise in
a human
,
then there exist
a process
,
an entity
and
another entity
such that
the process
is an
instance
of
content development
and
the human
is an
agent
of
the process
and
the entity
is a
result
of
the process
and
the entity
is an
instance
of
blueprint
and
the entity
express
es
the other entity
and
the other entity
is an
instance
of
building
(=>
(
ingredient
?ING ?FOOD)
(
exists
(?PROC ?X ?Y)
(
and
(
instance
?PROC
Process
)
(
instance
?X ?ING)
(
patient
?PROC ?X)
(
instance
?Y ?FOOD)
(
result
?PROC ?Y))))
Food.kif 54-62
If
a kind of substance
is an
ingredient
in
a kind of prepared food
,
then there exist
a process
,
an entity
and
another entity
such that
the process
is an
instance
of
process
and
the entity
is an
instance
of
a kind of substance
and
the entity
is a
patient
of
the process
and
the other entity
is an
instance
of
a kind of prepared food
and
the other entity
is a
result
of
the process
(=>
(
ingredientAmount
?ING ?FOOD ?AMT)
(
exists
(?PROC ?X ?Y)
(
and
(
instance
?X ?ING)
(
measure
?X ?AMT)
(
instance
?Y ?FOOD)
(
instance
?PROC
Process
)
(
patient
?PROC ?X)
(
result
?PROC ?Y))))
Food.kif 72-81
If
a physical quantity
of
a kind of self connected object
is
used
in
another kind of self connected object
,
then there exist
a process
,
an object
and
an entity
such that
the object
is an
instance
of
a kind of self connected object
and the
measure
of
the object
is
the physical quantity
and
the entity
is an
instance
of
another kind of self connected object
and
the process
is an
instance
of
process
and
the object
is a
patient
of
the process
and
the entity
is a
result
of
the process
(=>
(
instance
?A
Announcement
)
(
exists
(?CD ?I)
(
and
(
instance
?CD
ContentDevelopment
)
(
result
?CD ?A)
(
refers
?A ?I)
(
instance
?I
SocialInteraction
)
(
earlier
(
WhenFn
?CD)
(
WhenFn
?I)))))
Mid-level-ontology.kif 12269-12279
If
an entity
is an
instance
of
announcement
,
then there exist
a process
and
a physical
such that
the process
is an
instance
of
content development
and
the entity
is a
result
of
the process
and
the entity
includes a
reference
to
the physical
and
the physical
is an
instance
of
social interaction
and the
time
of existence of
the process
happens
earlier
than the
time
of existence of
the physical
(=>
(
instance
?AC
AlarmClock
)
(
hasPurpose
?AC
(
exists
(?TIME ?M ?Q)
(
and
(
instance
?M
Measuring
)
(
agent
?M ?AC)
(
result
?M ?Q)
(
equal
?Q ?TIME)
(
holdsDuring
(
WhenFn
?M)
(
exists
(?S)
(
and
(
instance
?S
RadiatingSound
)
(
agent
?S ?AC))))))))
Mid-level-ontology.kif 23442-23456
If
a physical
is an
instance
of
alarm clock
,
then
the physical
purpose there exist
an entity
,
another entity
and
a third entity
such that
the other entity
is an
instance
of
measuring
and
the physical
is an
agent
of
the other entity
and
the third entity
is a
result
of
the other entity
and
the third entity
is
equal
to
the entity
and there exists
a fourth entity
such that
the fourth entity
is an
instance
of
radiating sound
and
the physical
is an
agent
of
the fourth entity
holds
during
the
time
of existence of
the other entity
(=>
(
instance
?ACT
Fax
)
(
exists
(?MSG)
(
and
(
instance
?MSG
FaxMessage
)
(
result
?ACT ?MSG))))
Media.kif 1017-1022
If
a process
is an
instance
of
fax
,
then there exists
an entity
such that
the entity
is an
instance
of
FaxMessage
and
the entity
is a
result
of
the process
(=>
(
instance
?ACTION
Creation
)
(
exists
(?RESULT)
(
result
?ACTION ?RESULT)))
Merge.kif 11832-11835
If
a process
is an
instance
of
creation
,
then there exists
an entity
such that
the entity
is a
result
of
the process
(=>
(
instance
?AGENT
ChemicalAgent
)
(
not
(
exists
(?ORGANISM ?PROCESS ?SUBSTANCE)
(
and
(
instance
?ORGANISM
Organism
)
(
instance
?PROCESS
BiologicalProcess
)
(
instrument
?PROCESS ?ORGANISM)
(
result
?PROCESS ?SUBSTANCE)
(
copy
?SUBSTANCE ?AGENT)))))
WMD.kif 459-468
If
an object
is an
instance
of
chemical agent
,
then there don't exist
another object
,
a process
and
a third object
such that
the other object
is an
instance
of
organism
and
the process
is an
instance
of
biological process
and
the other object
is an
instrument
for
the process
and
the third object
is a
result
of
the process
and
the third object
is a
copy
of
the object
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 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners
