result
(=>
(
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 1084-1092
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 ?AFTR)
(
and
(
instance
?MAKE
Making
)
(
result
?MAKE ?OBJ)
(
agent
?MAKE ?AGENT)
(
instance
?PROC
Judging
)
(
agent
?PROC ?JUDGE)
(
patient
?PROC ?OBJ)
(
result
?PROC
(
subjectiveAttribute
?OBJ ?AFTR ?JUDGE))
(
subProcess
?PROC ?CONTEST)))))
Dining.kif 883-896
If
an agent
entered
an object
in
a contest
,
then
the agent
participates
in
the contest
and there exist
a process
,
another agent
,, ,
another process
and
an entity
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
the 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 20823-20836
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 13718-13724
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 20724-20732
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 1209-1215
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 889-898
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 2702-2707
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 689-695
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 21183-21192
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 ?S)
(
exists
(?PROC ?X ?Y)
(
and
(
instance
?PROC
Process
)
(
instance
?X ?ING)
(
patient
?PROC ?X)
(
instance
?Y ?S)
(
result
?PROC ?Y))))
Merge.kif 1216-1224
If
a kind of substance
is an
ingredient
in
a class
,
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
the class
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 1660-1669
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
,
a physical
and
an entity
such that
the physical
is an
instance
of
a kind of self connected object
and the
measure
of
the physical
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 physical
is a
patient
of
the process
and
the entity
is a
result
of
the process
(=>
(
instance
?A
Americano
)
(
exists
(?P ?W ?E)
(
and
(
instance
?P
Pouring
)
(
patient
?P ?W)
(
instance
?W
DrinkingWater
)
(
measure
?W
(
MeasureFn
90
CelsiusDegree
))
(
destination
?P ?E)
(
instance
?E
Espresso
)
(
result
?P ?A))))
Food.kif 1310-1320
If
an entity
is an
instance
of
americano
,
then there exist
a process
,
a physical
and
another entity
such that
the process
is an
instance
of
pouring
and
the physical
is a
patient
of
the process
and
the physical
is an
instance
of
potable water
and the
measure
of
the physical
is 90
celsius degree
(s) and
the process
end
s up at
the other entity
and
the other entity
is an
instance
of
espresso
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 14523-14533
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 25530-25544
If
a physical
is an
instance
of
alarm clock
,
then
the physical
has the 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
fax message
and
the entity
is a
result
of
the process
(=>
(
instance
?ACTION
Creation
)
(
exists
(?RESULT)
(
result
?ACTION ?RESULT)))
Merge.kif 12790-12793
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 464-473
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
(=>
(
instance
?ARTIFACT
Artifact
)
(
exists
(?MAKING)
(
and
(
instance
?MAKING
Making
)
(
result
?MAKING ?ARTIFACT))))
Merge.kif 15685-15690
If
an entity
is an
instance
of
artifact
,
then there exists
a process
such that
the process
is an
instance
of
making
and
the entity
is a
result
of
the process
(=>
(
instance
?ARTIFACT
StationaryArtifact
)
(
exists
(?BUILD)
(
and
(
instance
?BUILD
Constructing
)
(
result
?BUILD ?ARTIFACT))))
Merge.kif 12834-12839
If
an entity
is an
instance
of
stationary artifact
,
then there exists
a process
such that
the process
is an
instance
of
constructing
and
the entity
is a
result
of
the process
(=>
(
instance
?B
Basket
)
(
exists
(?W)
(
and
(
instance
?W
Wickering
)
(
result
?W ?B))))
Mid-level-ontology.kif 4504-4509
If
an entity
is an
instance
of
basket
,
then there exists
a process
such that
the process
is an
instance
of
wickering
and
the entity
is a
result
of
the process
(=>
(
instance
?B
Brandy
)
(
exists
(?D ?W)
(
and
(
instance
?D
Distilling
)
(
instance
?W
Wine
)
(
resource
?D ?W)
(
result
?D ?B))))
Food.kif 3638-3645
If
an entity
is an
instance
of
brandy
,
then there exist
a process
and
an object
such that
the process
is an
instance
of
distilling
and
the object
is an
instance
of
wine
and
the object
is a
resource
for
the process
and
the entity
is a
result
of
the process
(=>
(
instance
?B
BreadOrBiscuit
)
(
exists
(?D ?BAKE)
(
and
(
instance
?D
Dough
)
(
instance
?BAKE
Baking
)
(
resource
?BAKE ?D)
(
result
?BAKE ?B))))
Food.kif 1566-1573
If
an entity
is an
instance
of
bread or biscuit
,
then there exist
an object
and
the entity
AKE such that
the object
is an
instance
of
dough
and
the entity
AKE is an
instance
of
baking
and
the object
is a
resource
for
the entity
AKE and
the entity
is a
result
of
the entity
AKE
(=>
(
instance
?B
Burrow
)
(
exists
(?P ?A)
(
and
(
instance
?P
Process
)
(
agent
?P ?A)
(
instance
?A
Animal
)
(
not
(
instance
?A
Human
))
(
result
?P ?B))))
Geography.kif 6031-6040
If
an entity
is an
instance
of
burrow
,
then there exist
a process
and
an agent
such that
the process
is an
instance
of
process
and
the agent
is an
agent
of
the process
and
the agent
is an
instance
of
animal
and
the agent
is not an
instance
of
human
and
the entity
is a
result
of
the process
(=>
(
instance
?B
Butter
)
(
exists
(?C)
(
and
(
instance
?C
ChurningButter
)
(
result
?C ?B))))
Food.kif 3101-3106
If
an entity
is an
instance
of
butter
,
then there exists
a process
such that
the process
is an
instance
of
churning butter
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