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
Processus
est une
instance
de
ArmedReconnaissance
processus
est un
agent
de
agent cognitif
entit�
est un
patient
de
processus
enemy
agent cognitif
and
entit�
pendant
temps
d'existence de
processus
processus
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
est une
instance
de
Attack
entit�
est un
agent
de
agent cognitif
entit�
est un
patient
de
entit�
(=>
(
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
Secteur g�opolitique
est une
instance
de
secteur g�opolitique
humain
occupe la
position
de
Leader
le
gouvernment
de
secteur g�opolitique
processus
processus
est une
instance
de
guider
secteur g�opolitique
est un
patient
de
processus
processus
est un
agent
de
humain
(=>
(
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
Processus
est une
instance
de
AddToCart
agent cognitif
est une
instance
de
AutonomousAgent
entit�
est une
instance
de
objet
processus
est un
agent
de
agent cognitif
entit�
est un
patient
de
processus
agent cognitif
desire
entit�
entit�
est une
instance
de
acheter
entit�
est un
patient
de
entit�
entit�
est un
agent
de
agent cognitif
(=>
(
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
Processus
est une
instance
de
AngryVoiceUtterance
processus
est un
agent
de
AutonomousAgent
l'argument
causesProposition
AutonomousAgent
NG
AutonomousAgent
NG est une
instance
de
colère
AutonomousAgent
exp
�rimente
AutonomousAgent
NG and
processus
est une
instance
de
AngryVoiceUtterance
processus
est un
agent
de
AutonomousAgent
a la
force
modale
de
Likely
(=>
(
and
(
instance
?Account
FinancialAccount
)
(
accountAt
?Account ?Bank))
(
exists
(?Activity)
(
and
(
instance
?Activity
ControllingAnAccount
)
(
patient
?Activity ?Account)
(
agent
?Activity ?Bank))))
FinancialOntology.kif 76-84
FinancialAccount
est une
instance
de
FinancialAccount
accountAt
FinancialAccount
and
FinancialOrganization
processus
processus
est une
instance
de
ControllingAnAccount
FinancialAccount
est un
patient
de
processus
processus
est un
agent
de
FinancialOrganization
(=>
(
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
Processus
est une
instance
de
Bleeding
entit�
est une
instance
de
mort
formule
est une
instance
de
humain
AutonomousAgent
est une
instance
de
humain
AutonomousAgent
exp
�rimente
processus
formule
est
Near
�
AutonomousAgent
l'argument
processus
cause
entit�
a la
force
modale
de
Likely
entit�
entit�
est une
instance
de
attacher
entit�
est un
agent
de
formule
entit�
aboutit
�
AutonomousAgent
est
oblig
� d'ex�cut� des t�ches du type
formule
(=>
(
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
Processus
est une
instance
de
Blockade
affrontement
est une
instance
de
affrontement
processus
est un
sous
-processus de
affrontement
contestParticipant
affrontement
and
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
affrontement
1
agent cognitif
affrontement
1
previent
l'occurrence de
Translocation
processus
est une
instance
de
affrontement
1
contestParticipant
affrontement
and
agent cognitif
AutonomousAgent
est
agent cognitif
agent cognitif
desire
entit�
entit�
est une
instance
de
affrontement
1
entit�
est un
agent
de
AutonomousAgent
entit�
est un
sous
-processus de
affrontement
(=>
(
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
Processus
est une
instance
de
Bodybuilding
processus
est un
agent
de
AutonomousAgent
processus
processus
est une
instance
de
Weightlifting
processus
est un
agent
de
AutonomousAgent
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
emprunter
processus
est un
agent
de
AutonomousAgent
processus
a pour
origine
AutonomousAgent
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
pr�ter
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
AutonomousAgent
entit�
est un
patient
de
processus
(=>
(
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
Processus
est une
instance
de
acheter
processus
est un
agent
de
AutonomousAgent
processus
a pour
origine
AutonomousAgent
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
vendre
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
AutonomousAgent
entit�
est un
patient
de
processus
(=>
(
and
(
instance
?Bond
CallableBond
)
(
issuedBy
?Bond ?Agent))
(
capability
Call
agent
?Agent))
FinancialOntology.kif 2477-2481
Certificat
est une
instance
de
CallableBond
issuedBy
certificat
and
agent cognitif
agent cognitif
est
capable
de faire
Call
dans le r�le
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
AutonomousAgent
est une
instance
de
CavalryUnit
interval temporel
est une
instance
de
bataille
interval temporel
est un
agent
de
AutonomousAgent
AutonomousAgent
entit�
and
interval temporel
Soldier
est un
attribut
de
AutonomousAgent
AutonomousAgent
est un
membre
de
AutonomousAgent
interval temporel
est une
instance
de
transporter
interval temporel
est un
agent
de
AutonomousAgent
entit�
est une
instance
de
Vehicle
entit�
est un
patient
de
interval temporel
interval temporel
prend place
pendant
interval temporel
(=>
(
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
Interval temporel
est une
instance
de
Confirming
interval temporel
est un
agent
de
Agreement
interval temporel
contient
information
proposition
interval temporel
ContentBearingPhysical
and
Agreement
2
interval temporel
est une
instance
de
d�clarer
interval temporel
arrive
plus
t�t que
interval temporel
ContentBearingPhysical
est une
instance
de
ReachingAgreement
interval temporel
est un
agent
de
Agreement
2
ContentBearingPhysical
contient
information
proposition
interval temporel
contient
information
proposition
partyToAgreement
ContentBearingPhysical
and
Agreement
partyToAgreement
ContentBearingPhysical
and
Agreement
2
(=>
(
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
Collection
est une
instance
de
Convoy
AutonomousAgent
est un
membre
de
collection
AutonomousAgent
est un
membre
de
collection
AutonomousAgent
est
AutonomousAgent
processus
processus
and
entit�
processus
est une
instance
de
transporter
processus
est une
instance
de
transporter
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
entit�
processus
aboutit
�
entit�
(=>
(
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
Organisation
est une
instance
de
GovernmentCabinet
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
secteur g�opolitique
est une
instance
de
secteur g�opolitique
organisation
a pour
but
entit�
entit�
entit�
est une
instance
de
d�clarer
entit�
est un
agent
de
organisation
entit�
est un
patient
de
entit�
leader
entit�
and le
gouvernment
de
secteur g�opolitique
(=>
(
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
Processus
est une
instance
de
CounterproliferationWMD
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
processus
enemy
AutonomousAgent
and
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
processus
est une
instance
de
ProliferationWMD
processus
a pour
but
processus
previent
l'occurrence de
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
Processus
est une
instance
de
Commenting
entit�
est une
instance
de
processus
entit�
est un
patient
de
processus
AutonomousAgent
processus
and
processus
AutonomousAgent
est une
instance
de
AutonomousAgent
processus
est une
instance
de
Speaking
processus
est une
instance
de
Looking
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
processus
inclut une
r
�f�rence �
entit�
(=>
(
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
BankCard
est une
instance
de
DebitCard
AutonomousAgent
poss
�de
BankCard
processus
est une
instance
de
financial transaction
BankCard
est un
instrument
pour
processus
cha�ne sympbolique
processus
pin
cha�ne sympbolique
and
BankCard
processus
est une
instance
de
EnteringAPin
cha�ne sympbolique
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
(=>
(
and
(
instance
?Controlling
ControllingAnAccount
)
(
patient
?Controlling ?Account)
(
accountAt
?Account ?Bank))
(
agent
?Controlling ?Bank))
FinancialOntology.kif 356-361
Processus
est une
instance
de
ControllingAnAccount
FinancialAccount
est un
patient
de
processus
accountAt
FinancialAccount
and
FinancialOrganization
processus
est un
agent
de
FinancialOrganization
(=>
(
and
(
instance
?D
DeliveryService
)
(
agent
?D ?AGENT))
(
capability
DeliveryService
agent
?AGENT))
Dining.kif 532-536
Processus
est une
instance
de
DeliveryService
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est
capable
de faire
DeliveryService
dans le r�le
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
Processus
est une
instance
de
Deciding
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
entit�
est une
instance
de
ensemble
ContentBearingPhysical
est le
resultat
de
processus
ContentBearingPhysical
est une
instance
de
ContentBearingPhysical
containsFormula
ContentBearingPhysical
and
entit�
entit�
est un
entit�
entit�
est une
instance
de
processus intentionnel
entit�
est un
agent
de
AutonomousAgent
pendant
apr
�s
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
Deciding
processus
est un
agent
de
agent cognitif
ensemble
est une
instance
de
ensemble
ensemble
est un
patient
de
processus
entit�
est un
ensemble
agent cognitif
croit
entit�
entit�
est une
instance
de
entit�
entit�
est une
sous
-classe de
processus intentionnel
agent cognitif
est
capable
de faire
entit�
dans le r�le
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
Processus
est une
instance
de
Digesting
processus
est un
agent
de
AutonomousAgent
processus
processus
est une
instance
de
ing�rer
processus
est un
agent
de
AutonomousAgent
temps
d'existence de
processus
recouvre
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
inscription
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
AutonomousAgent
est une
instance
de
College
processus
AutonomousAgent
processus
est une
instance
de
recevoir un dipl�me
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
AutonomousAgent
est une
instance
de
SecondarySchool
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
and
(
instance
?EBP
EmotionalBehavioralProcess
)
(
agent
?EBP ?A))
(
exists
(?APP)
(
and
(
instance
?APP
AppraisalProcess
)
(
agent
?APP ?A)
(
causes
?APP ?EBP))))
emotion.kif 119-127
Processus
est une
instance
de
EmotionalBehavioralProcess
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
PP
AutonomousAgent
PP est une
instance
de
AppraisalProcess
AutonomousAgent
PP est un
agent
de
AutonomousAgent
AutonomousAgent
PP
cause
processus
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