destination
(=>
(
and
(
instance
?P
Pulling
)
(
agent
?P ?A)
(
patient
?P ?PULLED)
(
destination
?P ?D))
(
holdsDuring
?P
(
and
(
distance
?A ?D ?SMALLER)
(
distance
?PULLED ?D ?LARGER)
(
greaterThan
?LARGER ?SMALLER))))
Military.kif 759-769
If
a process
is an
instance
of
pulling
and
an agent
is an
agent
of
the process
and
the process
ULLED is a
patient
of
the process
and
the process
end
s up at
another entity
,
then the
distance
between
the agent
and
the other entity
is
a third entity
and the
distance
between
the process
ULLED and
the other entity
is
a fourth entity
and
the fourth entity
is
greater
than
the third entity
holds
during
the process
(=>
(
and
(
instance
?P
Pulling
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17638-17656
If
a time interval
is an
instance
of
pulling
and
the time interval
originate
s at
an object
and
an agent
is an
agent
of
the time interval
and
the agent
is
located
at
the agent
LOC holds
during
the
beginning
of
the time interval
and
the time interval
end
s up at
another entity
,
then there exist
a third entity
,
a fourth entity
and
a fifth entity
such that the
distance
between
the agent
LOC and
the other entity
is
the fifth entity
the fourth entity
(s) and the
distance
between
the agent
LOC and
the object
is
the third entity
the fourth entity
(s) and
the third entity
is
greater
than
the fifth entity
holds
during
immediately
after
the
beginning
of
the time interval
(=>
(
and
(
instance
?P
Punishing
)
(
agent
?P ?A)
(
patient
?P ?F)
(
destination
?P ?D))
(
knows
?A
(
not
(
desires
?D ?F))))
Mid-level-ontology.kif 872-880
If
a process
is an
instance
of
punishing
and
a cognitive agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
the process
end
s up at
another entity
,
then
the cognitive agent
know
s
the other entity
doesn't
desire
the entity
(=>
(
and
(
instance
?P
Pushing
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17616-17634
If
a time interval
is an
instance
of
pushing
and
the time interval
originate
s at
an object
and
an agent
is an
agent
of
the time interval
and
the agent
is
located
at
the agent
LOC holds
during
the
beginning
of
the time interval
and
the time interval
end
s up at
another entity
,
then there exist
a third entity
,
a fourth entity
and
a fifth entity
such that the
distance
between
the agent
LOC and
the other entity
is
the fifth entity
the fourth entity
(s) and the
distance
between
the agent
LOC and
the object
is
the third entity
the fourth entity
(s) and
the third entity
is
greater
than
the fifth entity
holds
during
immediately
after
the
beginning
of
the time interval
(=>
(
and
(
instance
?P
Putting
)
(
patient
?P ?S)
(
instance
?S
Spice
)
(
destination
?P ?F)
(
instance
?F
PreparedFood
))
(
exists
(?C ?A)
(
and
(
instance
?C
InternalChange
)
(
patient
?C ?F)
(
result
?C ?A)
(
attribute
?F ?A)
(
or
(
instance
?A
FlavourAttribute
)
(
instance
?A
ColorAttribute
)))))
Economy.kif 4384-4399
If
a process
is an
instance
of
putting
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
spice
and
the process
end
s up at
an object
and
the object
is an
instance
of
prepared food
,
then there exist
another process
and
an attribute
such that
the other process
is an
instance
of
internal change
and
the object
is a
patient
of
the other process
and
the attribute
is a
result
of
the other process
and
the attribute
is an
attribute
of
the object
and
the attribute
is an
instance
of
flavour attribute
or
the attribute
is an
instance
of
color attribute
(=>
(
and
(
instance
?PROCESS
Naming
)
(
patient
?PROCESS ?THING)
(
destination
?PROCESS ?NAME))
(
holdsDuring
(
FutureFn
(
WhenFn
?PROCESS))
(
names
?NAME ?THING)))
Merge.kif 13257-13262
If
a process
is an
instance
of
naming
and
an entity
is a
patient
of
the process
and
the process
end
s up at
another entity
,
then
the entity
has
name
the other entity
holds
during
after
the
time
of existence of
the process
(=>
(
and
(
instance
?PUT
Putting
)
(
destination
?PUT ?PLACE)
(
patient
?PUT ?OBJ))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?PUT))
(
not
(
located
?OBJ ?PLACE)))
(
holdsDuring
(
EndFn
(
WhenFn
?PUT))
(
located
?OBJ ?PLACE))))
Merge.kif 11405-11412
If
a process
is an
instance
of
putting
and
the process
end
s up at
an entity
and
another entity
is a
patient
of
the process
,
then
the other entity
is not
located
at
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the other entity
is
located
at
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?R
Reserving
)
(
agent
?R ?CUST)
(
destination
?R ?AGENT))
(
potentialCustomer
?CUST ?AGENT))
Dining.kif 762-767
If
a process
is an
instance
of
reserving
and
a cognitive agent
is an
agent
of
the process
and
the process
end
s up at
an agent
,
then
the cognitive agent
is a
potential
customer
for
the agent
(=>
(
and
(
instance
?REPAYMENT
Repayment
)
(
instance
?REPAYMENT_DESTINATION
Object
)
(
destination
?REPAYMENT ?REPAYMENT_DESTINATION)
(
instance
?REPAYMENT_ORIGIN
Object
)
(
origin
?REPAYMENT ?REPAYMENT_ORIGIN))
(
exists
(?PAYMENT ?PAYMENT_ORIGIN ?PAYMENT_DESTINATION)
(
and
(
instance
?PAYMENT
Payment
)
(
instance
?PAYMENT_ORIGIN
Object
)
(
instance
?PAYMENT_DESTINATION
Object
)
(
not
(
equal
?PAYMENT ?REPAYMENT))
(
destination
?PAYMENT ?PAYMENT_DESTINATION)
(
origin
?PAYMENT ?PAYMENT_ORIGIN)
(
equal
?PAYMENT_ORIGIN ?REPAYMENT_DESTINATION)
(
equal
?PAYMENT_DESTINATION ?REPAYMENT_ORIGIN))))
UXExperimentalTerms.kif 1883-1900
If
a process
is an
instance
of
repayment
and
the process
_DESTINATION is an
instance
of
object
and
the process
end
s up at
the process
_DESTINATION and
the process
_ORIGIN is an
instance
of
object
and
the process
originate
s at
the process
_ORIGIN,
then there exist
another process
,
the other process
_ORIGIN and
the other process
_DESTINATION such that
the other process
is an
instance
of
payment
and
the other process
_ORIGIN is an
instance
of
object
and
the other process
_DESTINATION is an
instance
of
object
and
the other process
is not
equal
to
the process
and
the other process
end
s up at
the other process
_DESTINATION and
the other process
originate
s at
the other process
_ORIGIN and
the other process
_ORIGIN is
equal
to
the process
_DESTINATION and
the other process
_DESTINATION is
equal
to
the process
_ORIGIN
(=>
(
and
(
instance
?REQUEST
ViewItemRequest
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
ViewItemPage
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?LISTING
Advertising
)
(
subProcess
?ACCESSING ?REQUEST)
(
component
?PAGE ?LISTING)
(
destination
?ACCESSING ?PAGE)
(
agent
?ACCESSING ?AGENT))
(
viewedListing
?AGENT ?LISTING))
UXExperimentalTerms.kif 1570-1581
If
a process
is an
instance
of
view item request
and
another process
is an
instance
of
accessing web page
and
a corpuscular object
is an
instance
of
next generation view item
and
an agent
is an
instance
of
agent
and
a web listing
is an
instance
of
advertising
and
the other process
is a
subprocess
of
the process
and
the corpuscular object
is a
component
of
the web listing
and
the other process
end
s up at
the corpuscular object
and
the agent
is an
agent
of
the other process
,
then
the agent
viewed
the web listing
(=>
(
and
(
instance
?RETURN
GivingBack
)
(
agent
?RETURN ?AGENT)
(
destination
?RETURN ?DEST))
(
exists
(?GIVE)
(
and
(
instance
?GIVE
Giving
)
(
agent
?GIVE ?DEST)
(
destination
?GIVE ?AGENT)
(
earlier
(
WhenFn
?GIVE)
(
WhenFn
?RETURN)))))
Merge.kif 11763-11773
If
a process
is an
instance
of
giving back
and
an agent
is an
agent
of
the process
and
the process
end
s up at
another agent
,
then there exists
another process
such that
the other process
is an
instance
of
giving
and
the other agent
is an
agent
of
the other process
and
the other process
end
s up at
the agent
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the process
(=>
(
and
(
instance
?RETURN
Returning
)
(
experiencer
?RETURN ?AGENT)
(
destination
?RETURN ?DEST))
(
exists
(?TIME)
(
and
(
earlier
?TIME
(
WhenFn
?RETURN))
(
holdsDuring
?TIME
(
located
?AGENT ?DEST)))))
Mid-level-ontology.kif 17266-17274
If
a process
is an
instance
of
returning
and
an agent
experience
s
the process
and
the process
end
s up at
an entity
,
then there exists
a time interval
such that
the time interval
happens
earlier
than the
time
of existence of
the process
and
the agent
is
located
at
the entity
holds
during
the time interval
(=>
(
and
(
instance
?S
LegalSummons
)
(
patient
?S ?O)
(
destination
?S ?P))
(
exists
(?C ?T)
(
and
(
instance
?C
CourtRoom
)
(
containsInformation
?O
(
modalAttribute
(
holdsDuring
?T
(
located
?P ?C))
Law
)))))
Mid-level-ontology.kif 16227-16239
If
a process
is an
instance
of
legal summons
and
a content bearing physical
is a
patient
of
the process
and
the process
end
s up at
an entity
,
then there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
court room
and
the content bearing physical
contain
s information the statement
the entity
is
located
at
the other entity
holds
during
the third entity
has the
modal
force
of
law
(=>
(
and
(
instance
?S
SeizingProperty
)
(
destination
?S ?A)
(
origin
?S ?V)
(
instance
?V
CognitiveAgent
))
(
and
(
instance
?A
Government
)
(
not
(
confersNorm
?V
(
destination
?S ?A)
Permission
))))
Mid-level-ontology.kif 18701-18712
If
a process
is an
instance
of
seizing property
and
the process
end
s up at
an entity
and
the process
originate
s at
an object
and
the object
is an
instance
of
cognitive agent
,
then
the entity
is an
instance
of
government
and
the object
doesn't
confers
norm
the process
end
s up at
the entity
for
permission
(=>
(
and
(
instance
?S
Spamming
)
(
instance
?G
GroupOfPeople
)
(
memberCount
?G ?N)
(
destination
?S ?G))
(
modalAttribute
(
greaterThan
?N 100)
Likely
))
ComputingBrands.kif 4187-4195
If
a process
is an
instance
of
spamming
and
a collection
is an
instance
of
group of people
and
an integer
is a
member
count of
the collection
and
the process
end
s up at
the collection
,
then the statement
the integer
is
greater
than 100 has the
modal
force
of
likely
(=>
(
and
(
instance
?S
Spamming
)
(
result
?S ?SPAM)
(
instance
?S
Spam
)
(
instance
?H
Human
)
(
destination
?S ?H))
(
not
(
exists
(?R)
(
and
(
instance
?R
Requesting
)
(
patient
?R ?SPAM)))))
ComputingBrands.kif 4197-4208
If
a process
is an
instance
of
spamming
and
the process
PAM is a
result
of
the process
and
the process
is an
instance
of
spam
and
another entity
is an
instance
of
human
and
the process
end
s up at
the other entity
,
then there doesn't exist
another process
such that
the other process
is an
instance
of
requesting
and
the process
PAM is a
patient
of
the other process
(=>
(
and
(
instance
?S
Spamming
)
(
result
?S ?SPAM)
(
instance
?S
Spam
)
(
instance
?H
Human
)
(
destination
?S ?H))
(
not
(
modalAttribute
(
wants
?H ?SPAM)
Likely
)))
ComputingBrands.kif 4210-4220
If
a process
is an
instance
of
spamming
and
the process
PAM is a
result
of
the process
and
the process
is an
instance
of
spam
and
another entity
is an
instance
of
human
and
the process
end
s up at
the other entity
,
then the statement
the other entity
want
s
the process
PAM doesn't have the
modal
force
of
likely
(=>
(
and
(
instance
?SHARE
Sharing
)
(
agent
?SHARE ?AGENT1)
(
destination
?SHARE ?AGENT2)
(
patient
?SHARE ?OBJ))
(
exists
(?GIVE ?PART)
(
and
(
instance
?GIVE
Giving
)
(
subProcess
?GIVE ?SHARE)
(
patient
?GIVE ?PART)
(
properPart
?PART ?OBJ)
(
agent
?GIVE ?AGENT1)
(
destination
?GIVE ?AGENT2))))
Mid-level-ontology.kif 18564-18577
If
a process
is an
instance
of
sharing
and
an agent
is an
agent
of
the process
and
the process
end
s up at
an entity
and
an object
is a
patient
of
the process
,
then there exist
another process
and
another object
such that
the other process
is an
instance
of
giving
and
the other process
is a
subprocess
of
the process
and
the other object
is a
patient
of
the other process
and
the other object
is a
proper
part
of
the object
and
the agent
is an
agent
of
the other process
and
the other process
end
s up at
the entity
(=>
(
and
(
instance
?STEAL
Stealing
)
(
destination
?STEAL ?AGENT)
(
origin
?STEAL ?VICTIM)
(
instance
?VICTIM
CognitiveAgent
))
(
not
(
confersRight
(
destination
?STEAL ?AGENT) ?VICTIM ?AGENT)))
Mid-level-ontology.kif 18586-18594
If
a process
is an
instance
of
stealing
and
the process
end
s up at
a cognitive agent
and
the process
originate
s at
an object
and
the object
is an
instance
of
cognitive agent
,
then
the object
doesn't
allow
the cognitive agent
to perform task of the type
the process
end
s up at
the cognitive agent
(=>
(
and
(
instance
?Service
CommercialService
)
(
agent
?Service ?Agent)
(
employs
?Org ?Agent)
(
destination
?Service ?Customer))
(
hasPurpose
?Service
(
exists
(?Transaction)
(
and
(
instance
?Transaction
FinancialTransaction
)
(
destination
?Transaction ?Org)
(
origin
?Transaction ?Customer)))))
FinancialOntology.kif 3590-3601
If
a process
is an
instance
of
commercial service
and
a cognitive agent
is an
agent
of
the process
and
an agent
employ
s
the cognitive agent
and
the process
end
s up at
an entity
,
then
the process
has the purpose there exists
another entity
such that
the other entity
is an
instance
of
financial transaction
and
the other entity
end
s up at
the agent
and
the other entity
originate
s at
the entity
(=>
(
and
(
instance
?T
Thanking
)
(
destination
?T ?P))
(
instance
?P
Human
))
Mid-level-ontology.kif 13160-13164
If
a process
is an
instance
of
thanking
and
the process
end
s up at
an entity
,
then
the entity
is an
instance
of
human
(=>
(
and
(
instance
?T1
Translocation
)
(
instance
?T2
Translocation
)
(
origin
?T1 ?O1)
(
origin
?T2 ?D1)
(
destination
?T1 ?D1)
(
destination
?T2 ?D2)
(
experiencer
?T1 ?P)
(
experiencer
?T2 ?P))
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
origin
?T ?O1)
(
destination
?T ?D2)
(
subProcess
?T1 ?T)
(
subProcess
?T2 ?T)
(
experiencer
?T ?P)
(
starts
(
WhenFn
?T1)
(
WhenFn
?T))
(
finishes
(
WhenFn
?T2)
(
WhenFn
?T)))))
Merge.kif 11305-11328
If
a process
is an
instance
of
translocation
and
another process
is an
instance
of
translocation
and
the process
originate
s at
an object
and
the other process
originate
s at
another object
and
the process
end
s up at
the other object
and
the other process
end
s up at
an entity
and
an agent
experience
s
the process
and
the agent
experience
s
the other process
,
then there exists
a third process
such that
the third process
is an
instance
of
translocation
and
the third process
originate
s at
the object
and
the third process
end
s up at
the entity
and
the process
is a
subprocess
of
the third process
and
the other process
is a
subprocess
of
the third process
and
the agent
experience
s
the third process
and the
time
of existence of
the process
start
s the
time
of existence of
the third process
and the
time
of existence of
the other process
finish
es the
time
of existence of
the third process
(=>
(
and
(
instance
?TC
TropicalCyclone
)
(
destination
?TC ?DEST)
(
instance
?DEST
GeographicArea
))
(
not
(
exists
(?L ?SL ?X)
(
and
(
instance
?L
LandArea
)
(
instance
?SL
Shoreline
)
(
located
?DEST ?L)
(
distance
?L ?SL
(
MeasureFn
?X
Mile
))
(
greaterThan
?X 200.0)))))
Weather.kif 693-706
If
a process
is an
instance
of
tropical cyclone
and
the process
end
s up at
a physical
and
the physical
is an
instance
of
geographic area
,
then there don't exist
an object
,
another physical
and
a real number
such that
the object
is an
instance
of
land area
and
the other physical
is an
instance
of
shoreline
and
the physical
is
located
at
the object
and the
distance
between
the object
and
the other physical
is
the real number
mile
(s) and
the real number
is
greater
than 200.0
(=>
(
and
(
instance
?THANK
Thanking
)
(
agent
?THANK ?AGENT)
(
patient
?THANK ?THING)
(
destination
?THANK ?PERSON))
(
and
(
instance
?PERSON
Human
)
(
or
(
holdsDuring
(
WhenFn
?THANK)
(
wants
?AGENT ?THING))
(
holdsDuring
(
WhenFn
?THANK)
(
desires
?AGENT ?THING)))))
Mid-level-ontology.kif 13148-13158
If
a process
is an
instance
of
thanking
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
the process
end
s up at
another entity
,
then
the other entity
is an
instance
of
human
and
the agent
want
s
the entity
holds
during
the
time
of existence of
the process
or
the agent
desire
s
the entity
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?THREATEN
Threatening
)
(
patient
?THREATEN ?PROP)
(
destination
?THREATEN ?DEST))
(
believes
?DEST
(
attribute
?PROP
Dangerous
)))
MilitaryPersons.kif 212-218
If
a process
is an
instance
of
threatening
and
an entity
is a
patient
of
the process
and
the process
end
s up at
a cognitive agent
,
then
the cognitive agent
believe
s
dangerous
is an
attribute
of
the entity
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