agent
(=>
(
and
(
instance
?AR
ArmedReconnaissance
)
(
agent
?AR ?AGENT)
(
patient
?AR ?HOSTILE)
(
holdsDuring
(
WhenFn
?AR)
(
enemy
?AGENT ?HOSTILE)))
(
confersRight
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?HOSTILE))) ?AR ?AGENT))
MilitaryProcesses.kif 89-103
If
a process
is an
instance
of
armed reconnaissance
and
a cognitive agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
the cognitive agent
and
the entity
are enemies of each other holds
during
the
time
of existence of
the process
,
then
the process
allow
s
the cognitive agent
to perform task of the type there exists
another entity
such that
the other entity
is an
instance
of
attack
and
the cognitive agent
is an
agent
of
the other entity
and
the entity
is a
patient
of
the other entity
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
(
GovernmentFn
?AREA)))
(
exists
(?LEADING)
(
and
(
instance
?LEADING
Guiding
)
(
patient
?LEADING ?AREA)
(
agent
?LEADING ?PERSON))))
Government.kif 2309-2317
If
a geopolitical area
is an
instance
of
geopolitical area
and
a human
holds the
position
of
leader
in the
government
of
the geopolitical area
,
then there exists
a process
such that
the process
is an
instance
of
guiding
and
the geopolitical area
is a
patient
of
the process
and
the human
is an
agent
of
the process
(=>
(
and
(
instance
?ATC
AddToCart
)
(
instance
?USER
AutonomousAgent
)
(
instance
?OBJ
Object
)
(
agent
?ATC ?USER)
(
patient
?ATC ?OBJ))
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER)))))
UXExperimentalTerms.kif 1312-1324
If
a process
is an
instance
of
add to cart
and
a cognitive agent
is an
instance
of
agent
and
an entity
is an
instance
of
object
and
the cognitive agent
is an
agent
of
the process
and
the entity
is a
patient
of
the process
,
then
the cognitive agent
desire
s there exists
another entity
such that
the other entity
is an
instance
of
buying
and
the entity
is a
patient
of
the other entity
and
the cognitive agent
is an
agent
of
the other entity
(=>
(
and
(
instance
?AVU
AngryVoiceUtterance
)
(
agent
?AVU ?A))
(
modalAttribute
(
causesProposition
(
exists
(?ANG)
(
and
(
instance
?ANG
Anger
)
(
experiencer
?ANG ?A)))
(
and
(
instance
?AVU
AngryVoiceUtterance
)
(
agent
?AVU ?A)))
Likely
))
emotion.kif 1945-1958
If
a process
is an
instance
of
angry voice utterance
and
an agent
is an
agent
of
the process
,
then the statement
the process
is an
instance
of
angry voice utterance
and
the agent
is an
agent
of
the process
is a
causes
proposition of there exists
the agent
NG such that
the agent
NG is an
instance
of
anger
and
the agent
experience
s
the agent
NG has the
modal
force
of
likely
(=>
(
and
(
instance
?Account
FinancialAccount
)
(
accountAt
?Account ?Bank))
(
exists
(?Activity)
(
and
(
instance
?Activity
ControllingAnAccount
)
(
patient
?Activity ?Account)
(
agent
?Activity ?Bank))))
FinancialOntology.kif 76-84
If
a financial account
is an
instance
of
financial account
and
the financial account
is
held
by
a financial organization
,
then there exists
a process
such that
the process
is an
instance
of
controlling an account
and
the financial account
is a
patient
of
the process
and
the financial organization
is an
agent
of
the process
(=>
(
and
(
instance
?B
Bleeding
)
(
instance
?D
Death
)
(
instance
?H
Human
)
(
instance
?P
Human
)
(
experiencer
?B ?P)
(
orientation
?H ?P
Near
)
(
modalAttribute
(
causes
?B ?D)
Likely
))
(
holdsObligation
?H
(
exists
(?A)
(
and
(
instance
?A
Attaching
)
(
agent
?A ?H)
(
destination
?A ?P)))))
Medicine.kif 44-59
If
a process
is an
instance
of
bleeding
and
an entity
is an
instance
of
death
and
a formula
is an
instance
of
human
and
an agent
is an
instance
of
human
and
the agent
experience
s
the process
and
the formula
is
near
to
the agent
and the statement
the process
cause
s
the entity
has the
modal
force
of
likely
,
then there exists
another entity
such that
the other entity
is an
instance
of
attaching
and
the formula
is an
agent
of
the other entity
and
the other entity
end
s up at
the agent
is
obliged
to perform tasks of type
the formula
(=>
(
and
(
instance
?B
Blockade
)
(
instance
?C
Contest
)
(
subProcess
?B ?C)
(
contestParticipant
?C ?A1)
(
agent
?B ?A1))
(
exists
(?C1 ?A2)
(
and
(
prevents
?C1
Translocation
)
(
instance
?B ?C1)
(
contestParticipant
?C ?A2)
(
not
(
equal
?A1 ?A2))
(
desires
?A2
(
exists
(?I)
(
and
(
instance
?I ?C1)
(
agent
?I ?A1)
(
subProcess
?I ?C)))))))
Mid-level-ontology.kif 21776-21795
If
a process
is an
instance
of
blockade
and
a contest
is an
instance
of
contest
and
the process
is a
subprocess
of
the contest
and
an agent
participates
in
the contest
and
the agent
is an
agent
of
the process
,
then there exist
the contest
1 and
a cognitive agent
such that
the contest
1
prevent
s the occurrence of
translocation
and
the process
is an
instance
of
the contest
1 and
the cognitive agent
participates
in
the contest
and
the agent
is not
equal
to
the cognitive agent
and
the cognitive agent
desire
s there exists
an entity
such that
the entity
is an
instance
of
the contest
1 and
the agent
is an
agent
of
the entity
and
the entity
is a
subprocess
of
the contest
(=>
(
and
(
instance
?BB
Bodybuilding
)
(
agent
?BB ?H))
(
exists
(?W)
(
and
(
instance
?W
Weightlifting
)
(
agent
?W ?H)
(
earlier
(
WhenFn
?W)
(
WhenFn
?BB)))))
Sports.kif 778-788
If
a process
is an
instance
of
bodybuilding
and
an agent
is an
agent
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
weightlifting
and
the agent
is an
agent
of
the other process
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the process
(=>
(
and
(
instance
?BORROW
Borrowing
)
(
agent
?BORROW ?AGENT1)
(
origin
?BORROW ?AGENT2)
(
patient
?BORROW ?OBJECT))
(
exists
(?LEND)
(
and
(
instance
?LEND
Lending
)
(
agent
?LEND ?AGENT2)
(
destination
?LEND ?AGENT1)
(
patient
?LEND ?OBJECT))))
Merge.kif 11731-11742
If
a process
is an
instance
of
borrowing
and
an agent
is an
agent
of
the process
and
the process
originate
s at
another agent
and
an entity
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
lending
and
the other agent
is an
agent
of
the other process
and
the other process
end
s up at
the agent
and
the entity
is a
patient
of
the other process
(=>
(
and
(
instance
?BUY
Buying
)
(
agent
?BUY ?AGENT1)
(
origin
?BUY ?AGENT2)
(
patient
?BUY ?OBJECT))
(
exists
(?SELL)
(
and
(
instance
?SELL
Selling
)
(
agent
?SELL ?AGENT2)
(
destination
?SELL ?AGENT1)
(
patient
?SELL ?OBJECT))))
Merge.kif 11905-11916
If
a process
is an
instance
of
buying
and
an agent
is an
agent
of
the process
and
the process
originate
s at
another agent
and
an entity
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
selling
and
the other agent
is an
agent
of
the other process
and
the other process
end
s up at
the agent
and
the entity
is a
patient
of
the other process
(=>
(
and
(
instance
?Bond
CallableBond
)
(
issuedBy
?Bond ?Agent))
(
capability
Call
agent
?Agent))
FinancialOntology.kif 2477-2481
If
a certificate
is an
instance
of
callable bond
and
a cognitive agent
is an
issued
by of
the certificate
,
then
the cognitive agent
is
capable
of doing
call
as a
agent
(=>
(
and
(
instance
?C
CavalryUnit
)
(
instance
?B
Battle
)
(
agent
?B ?C))
(
exists
(?P ?V ?T)
(
and
(
attribute
?P
Soldier
)
(
member
?P ?C)
(
instance
?T
Transportation
)
(
agent
?T ?P)
(
instance
?V
Vehicle
)
(
patient
?T ?V)
(
during
?T ?B))))
Mid-level-ontology.kif 8387-8400
If
an agent
is an
instance
of
cavalry unit
and
a time interval
is an
instance
of
battle
and
the agent
is an
agent
of
the time interval
,
then there exist
another agent
,
an entity
and
another time interval
such that
soldier
is an
attribute
of
the other agent
and
the other agent
is a
member
of
the agent
and
the other time interval
is an
instance
of
transportation
and
the other agent
is an
agent
of
the other time interval
and
the entity
is an
instance
of
vehicle
and
the entity
is a
patient
of
the other time interval
and
the other time interval
takes place
during
the time interval
(=>
(
and
(
instance
?C
Confirming
)
(
agent
?C ?A)
(
containsInformation
?C ?P))
(
exists
(?S ?RA ?A2)
(
and
(
instance
?S
Stating
)
(
earlier
?S ?C)
(
instance
?RA
ReachingAgreement
)
(
agent
?S ?A2)
(
containsInformation
?RA ?P)
(
containsInformation
?S ?P)
(
partyToAgreement
?RA ?A)
(
partyToAgreement
?RA ?A2))))
Mid-level-ontology.kif 29639-29653
If
a time interval
is an
instance
of
confirming
and
an agreement
is an
agent
of
the time interval
and
the time interval
contain
s information
a proposition
,
then there exist
another time interval
,
a content bearing physical
and
the agreement
2 such that
the other time interval
is an
instance
of
stating
and
the other time interval
happens
earlier
than
the time interval
and
the content bearing physical
is an
instance
of
reaching agreement
and
the agreement
2 is an
agent
of
the other time interval
and
the content bearing physical
contain
s information
the proposition
and
the other time interval
contain
s information
the proposition
and
the agreement
is a
party
to agreement of
the content bearing physical
and
the agreement
2 is a
party
to agreement of
the content bearing physical
(=>
(
and
(
instance
?C
Convoy
)
(
member
?X1 ?C)
(
member
?X2 ?C)
(
not
(
equal
?X1 ?X2)))
(
exists
(?P1 ?P2 ?D)
(
and
(
instance
?P1
Transportation
)
(
instance
?P2
Transportation
)
(
agent
?P1 ?X1)
(
agent
?P2 ?X2)
(
destination
?P1 ?D)
(
destination
?P2 ?D))))
Military.kif 108-122
If
a collection
is an
instance
of
convoy
and
an agent
is a
member
of
the collection
and
another agent
is a
member
of
the collection
and
the agent
is not
equal
to
the other agent
,
then there exist
a process
,
another process
and
an entity
such that
the process
is an
instance
of
transportation
and
the other process
is an
instance
of
transportation
and
the agent
is an
agent
of
the process
and
the other agent
is an
agent
of
the other process
and
the process
end
s up at
the entity
and
the other process
end
s up at
the entity
(=>
(
and
(
instance
?CAB
GovernmentCabinet
)
(
subOrganization
?CAB
(
GovernmentFn
?AREA))
(
instance
?AREA
GeopoliticalArea
))
(
hasPurpose
?CAB
(
exists
(?ADVICE ?LEADER)
(
and
(
instance
?ADVICE
Stating
)
(
agent
?ADVICE ?CAB)
(
patient
?ADVICE ?LEADER)
(
leader
?LEADER
(
GovernmentFn
?AREA))))))
Government.kif 1513-1524
If
an organization
is an
instance
of
government cabinet
and
the organization
is a part of the organization the
government
of
a geopolitical area
and
the geopolitical area
is an
instance
of
geopolitical area
,
then
the organization
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
stating
and
the organization
is an
agent
of
the entity
and
the other entity
is a
patient
of
the entity
and the
government
of
the geopolitical area
is a
leader
of
the other entity
(=>
(
and
(
instance
?CO
CounterproliferationWMD
)
(
agent
?CO ?AGENT))
(
exists
(?ENEMY ?OP)
(
and
(
enemy
?AGENT ?ENEMY)
(
agent
?OP ?ENEMY)
(
instance
?OP
ProliferationWMD
)
(
hasPurpose
?CO
(
prevents
?CO
ProliferationWMD
)))))
MilitaryProcesses.kif 1478-1488
If
a process
is an
instance
of
counterproliferationWM d
and
an agent
is an
agent
of
the process
,
then there exist
another agent
and
another process
such that
the agent
and
the other agent
are enemies of each other and
the other agent
is an
agent
of
the other process
and
the other process
is an
instance
of
proliferationWMD
and
the process
has the purpose
the process
prevent
s the occurrence of
proliferationWMD
(=>
(
and
(
instance
?COMMENTING
Commenting
)
(
instance
?PROCESS
Process
)
(
patient
?COMMENTING ?PROCESS))
(
exists
(?AGENT ?SPEAKING ?LOOKING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?SPEAKING
Speaking
)
(
instance
?LOOKING
Looking
)
(
agent
?SPEAKING ?AGENT)
(
agent
?LOOKING ?AGENT)
(
patient
?LOOKING ?PROCESS)
(
refers
?SPEAKING ?PROCESS))))
Mid-level-ontology.kif 15887-15900
If
a process
is an
instance
of
commenting
and
an entity
is an
instance
of
process
and
the entity
is a
patient
of
the process
,
then there exist
an agent
,
another process
and
a third process
such that
the agent
is an
instance
of
agent
and
the other process
is an
instance
of
speaking
and
the third process
is an
instance
of
looking
and
the agent
is an
agent
of
the other process
and
the agent
is an
agent
of
the third process
and
the entity
is a
patient
of
the third process
and
the other process
includes a
reference
to
the entity
(=>
(
and
(
instance
?Card
DebitCard
)
(
possesses
?Agent ?Card)
(
instance
?Transaction
FinancialTransaction
)
(
instrument
?Transaction ?Card))
(
exists
(?PIN ?Enter)
(
and
(
pin
?PIN ?Card)
(
instance
?Enter
EnteringAPin
)
(
patient
?Enter ?PIN)
(
agent
?Enter ?Agent))))
FinancialOntology.kif 3543-3554
If
a bank card
is an
instance
of
debit card
and
an agent
possess
es
the bank card
and
a process
is an
instance
of
financial transaction
and
the bank card
is an
instrument
for
the process
,
then there exist
a symbolic string
and
another process
such that
the bank card
is a
pin
of
the symbolic string
and
the other process
is an
instance
of
entering a PIN
and
the symbolic string
is a
patient
of
the other process
and
the agent
is an
agent
of
the other process
(=>
(
and
(
instance
?Controlling
ControllingAnAccount
)
(
patient
?Controlling ?Account)
(
accountAt
?Account ?Bank))
(
agent
?Controlling ?Bank))
FinancialOntology.kif 356-361
If
a process
is an
instance
of
controlling an account
and
a financial account
is a
patient
of
the process
and
the financial account
is
held
by
a financial organization
,
then
the financial organization
is an
agent
of
the process
(=>
(
and
(
instance
?D
DeliveryService
)
(
agent
?D ?AGENT))
(
capability
DeliveryService
agent
?AGENT))
Dining.kif 532-536
If
a process
is an
instance
of
delivery service
and
an agent
is an
agent
of
the process
,
then
the agent
is
capable
of doing
delivery service
as a
agent
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?A)
(
patient
?DECIDE ?S)
(
instance
?S
Set
)
(
result
?DECIDE ?X)
(
instance
?X
ContentBearingPhysical
))
(
containsFormula
?X
(
holdsDuring
(
FutureFn
(
WhenFn
?DECIDE))
(
exists
(?M)
(
and
(
element
?M ?S)
(
instance
?M
IntentionalProcess
)
(
agent
?M ?A))))))
Merge.kif 12046-12062
If
a process
is an
instance
of
deciding
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
set
and
a content bearing physical
is a
result
of
the process
and
the content bearing physical
is an
instance
of
content bearing physical
,
then
the content bearing physical
contains the formula there exists
another entity
such that
the other entity
is an
element
of
the entity
and
the other entity
is an
instance
of
intentional process
and
the agent
is an
agent
of
the other entity
holds
during
after
the
time
of existence of
the process
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?AGENT)
(
instance
?S
Set
)
(
patient
?DECIDE ?S)
(
element
?M ?S))
(
believes
?AGENT
(
exists
(?CLASS)
(
and
(
instance
?M ?CLASS)
(
subclass
?CLASS
IntentionalProcess
)
(
capability
?CLASS
agent
?AGENT)))))
Merge.kif 12014-12026
If
a process
is an
instance
of
deciding
and
a cognitive agent
is an
agent
of
the process
and
a set
is an
instance
of
set
and
the set
is a
patient
of
the process
and
an entity
is an
element
of
the set
,
then
the cognitive agent
believe
s there exists
another entity
such that
the entity
is an
instance
of
the other entity
and
the other entity
is a
subclass
of
intentional process
and
the cognitive agent
is
capable
of doing
the other entity
as a
agent
(=>
(
and
(
instance
?DIGEST
Digesting
)
(
agent
?DIGEST ?ORGANISM))
(
exists
(?INGEST)
(
and
(
instance
?INGEST
Ingesting
)
(
agent
?INGEST ?ORGANISM)
(
overlapsTemporally
(
WhenFn
?INGEST)
(
WhenFn
?DIGEST)))))
Merge.kif 10289-10297
If
a process
is an
instance
of
digesting
and
an agent
is an
agent
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
ingesting
and
the agent
is an
agent
of
the other process
and the
time
of existence of
the process
overlap
s the
time
of existence of
the other process
(=>
(
and
(
instance
?E
Matriculation
)
(
agent
?E ?C)
(
patient
?E ?P)
(
instance
?C
College
))
(
exists
(?G ?S)
(
and
(
instance
?G
Graduation
)
(
agent
?G ?S)
(
patient
?G ?P)
(
instance
?S
SecondarySchool
)
(
earlier
(
WhenFn
?G)
(
WhenFn
?E)))))
Mid-level-ontology.kif 16690-16702
If
a process
is an
instance
of
matriculation
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
the agent
is an
instance
of
college
,
then there exist
another process
and
another agent
such that
the other process
is an
instance
of
graduation
and
the other agent
is an
agent
of
the other process
and
the entity
is a
patient
of
the other process
and
the other agent
is an
instance
of
secondary school
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the process
(=>
(
and
(
instance
?EBP
EmotionalBehavioralProcess
)
(
agent
?EBP ?A))
(
exists
(?APP)
(
and
(
instance
?APP
AppraisalProcess
)
(
agent
?APP ?A)
(
causes
?APP ?EBP))))
emotion.kif 119-127
If
a process
is an
instance
of
emotional behavioral process
and
an agent
is an
agent
of
the process
,
then there exists
the agent
PP such that
the agent
PP is an
instance
of
appraisal process
and
the agent
is an
agent
of
the agent
PP and
the agent
PP
cause
s
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