agent
(=>
(
and
(
instance
?R
BaseballRun
)
(
agent
?R ?A))
(
exists
(?T ?H)
(
and
(
instance
?T
Touching
)
(
subProcess
?T ?R)
(
agent
?T ?A)
(
patient
?T ?H)
(
instance
?H
HomeBase
))))
Sports.kif 624-634
Processus
est une
instance
de
BaseballRun
processus
est un
agent
de
AutonomousAgent
processus
entit�
processus
est une
instance
de
toucher
processus
est un
sous
-processus de
processus
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
entit�
est une
instance
de
HomeBase
(=>
(
and
(
instance
?R
RecreationOrExercise
)
(
instrument
?R ?RM)
(
instance
?RM
RowingMachine
)
(
experiencer
?R ?H)
(
instance
?ROW
Rowing
)
(
subProcess
?RMOT ?R)
(
subclass
?C
BodyMotion
)
(
instance
?RMOT ?C))
(
exists
(?ROWMOT)
(
and
(
instance
?ROWMOT ?C)
(
subProcess
?ROWMOT ?R)
(
agent
?ROWMOT ?H))))
Mid-level-ontology.kif 8242-8256
Processus
est une
instance
de
r�cr�ation ou exercice
processus
M est un
instrument
pour
processus
processus
M est une
instance
de
RowingMachine
AutonomousAgent
exp
�rimente
processus
processus
OW est une
instance
de
Rowing
processus
MOT est un
sous
-processus de
processus
classe
est une
sous
-classe de
mouvement du corps
processus
MOT est une
instance
de
classe
processus
OWMOT
processus
OWMOT est une
instance
de
classe
processus
OWMOT est un
sous
-processus de
processus
processus
OWMOT est un
agent
de
AutonomousAgent
(=>
(
and
(
instance
?R
Robbing
)
(
agent
?R ?P)
(
patient
?R ?P2))
(
exists
(?T)
(
and
(
instance
?T
Threatening
)
(
subProcess
?T ?R)
(
patient
?T
(
exists
(?A)
(
and
(
instance
?A
Attack
)
(
agent
?A ?P)
(
patient
?A ?P2)))))))
Mid-level-ontology.kif 18599-18613
Processus
est une
instance
de
Robbing
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
2 est un
patient
de
processus
processus
processus
est une
instance
de
Threatening
processus
est un
sous
-processus de
processus
entit�
entit�
est une
instance
de
Attack
entit�
est un
agent
de
AutonomousAgent
AutonomousAgent
2 est un
patient
de
entit�
est un
patient
de
processus
(=>
(
and
(
instance
?REST
Restaurant
)
(
instance
?DR
DiningRoom
)
(
attribute
?DR
PrivateAttribute
)
(
possesses
?REST ?DR)
(
customer
?GRP1 ?REST)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
))
(
modalAttribute
(
not
(
exists
(?GRP2 ?E2)
(
and
(
customer
?GRP2 ?REST)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
holdsDuring
(
WhenFn
?E1)
(
eventLocated
?E2 ?DR)))))
Likely
))
Dining.kif 1227-1246
AutonomousAgent
est une
instance
de
Restaurant
objet
est une
instance
de
DiningRoom
PrivateAttribute
est un
attribut
de
objet
AutonomousAgent
poss
�de
objet
customer
agent cognitif
and
AutonomousAgent
processus
est une
instance
de
manger
processus
est un
agent
de
agent cognitif
agent cognitif
est une
instance
de
GroupOfPeople
l'argument
entit�
entit�
customer
entit�
and
AutonomousAgent
agent cognitif
est
entit�
entit�
est une
instance
de
manger
entit�
est un
agent
de
entit�
eventLocated
entit�
and
objet
pendant
temps
d'existence de
processus
a la
force
modale
de
Likely
(=>
(
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 11785-11795
Processus
est une
instance
de
GivingBack
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
AutonomousAgent
processus
processus
est une
instance
de
donner
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
AutonomousAgent
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
and
(
instance
?RR
RunningARace
)
(
agent
?RR ?H))
(
exists
(?R)
(
and
(
instance
?R
Running
)
(
agent
?R ?H)
(
subProcess
?R ?RR))))
Sports.kif 265-273
Processus
est une
instance
de
RunningARace
processus
est un
agent
de
AutonomousAgent
processus
processus
est une
instance
de
Running
processus
est un
agent
de
AutonomousAgent
processus
est un
sous
-processus de
processus
(=>
(
and
(
instance
?RbF
ReconnaissanceByFire
)
(
agent
?RbF ?AGENT))
(
exists
(?ATTACK ?HOSTILE)
(
and
(
patient
?RbF ?HOSTILE)
(
subProcess
?ATTACK ?RbF)
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?HOSTILE))))
MilitaryProcesses.kif 713-723
Processus
est une
instance
de
ReconnaissanceByFire
processus
est un
agent
de
AutonomousAgent
processus
entit�
entit�
est un
patient
de
processus
processus
est un
sous
-processus de
processus
processus
est une
instance
de
Attack
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
(=>
(
and
(
instance
?S
Searching
)
(
patient
?S ?OBJ)
(
instance
?OBJ
Physical
))
(
exists
(?LOC ?AGENT)
(
and
(
instance
?AGENT
CognitiveAgent
)
(
agent
?S ?AGENT)
(
instance
?LOC
Object
)
(
located
?OBJ ?LOC)
(
hasPurposeForAgent
?S
(
knows
?AGENT
(
located
?OBJ ?LOC)) ?AGENT))))
Merge.kif 13006-13019
Processus
est une
instance
de
Searching
physique
est un
patient
de
processus
physique
est une
instance
de
physique
objet
AutonomousAgent
AutonomousAgent
est une
instance
de
agent cognitif
processus
est un
agent
de
AutonomousAgent
objet
est une
instance
de
objet
physique
est
situ
� �
objet
processus
a le
but
AutonomousAgent
conna
�t
physique
est
situ
� �
objet
pour
AutonomousAgent
(=>
(
and
(
instance
?S
Strangling
)
(
patient
?S ?V)
(
instance
?V
Human
))
(
hasPurpose
?S
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
agent
?B ?V))))))
Mid-level-ontology.kif 6536-6546
Processus
est une
instance
de
Strangling
entit�
est un
patient
de
processus
entit�
est une
instance
de
humain
processus
a pour
but
entit�
entit�
est une
instance
de
respirer
entit�
est un
agent
de
entit�
(=>
(
and
(
instance
?SALE
OfferingForSale
)
(
agent
?SALE ?AGENT))
(
patient
?SALE
(
exists
(?SELL ?OBJ)
(
and
(
instance
?SELL
Selling
)
(
patient
?SELL ?OBJ)
(
agent
?SELL ?AGENT)))))
Mid-level-ontology.kif 7829-7838
Processus
est une
instance
de
OfferingForSale
processus
est un
agent
de
AutonomousAgent
entit�
entit�
entit�
est une
instance
de
vendre
entit�
est un
patient
de
entit�
entit�
est un
agent
de
AutonomousAgent
est un
patient
de
processus
(=>
(
and
(
instance
?SEAT
AuditoriumSeat
)
(
part
?SEAT ?AUDITORIUM)
(
part
?STAGE ?AUDITORIUM)
(
instance
?AUDITORIUM
Auditorium
)
(
instance
?STAGE
PerformanceStage
)
(
located
?PERSON ?SEAT)
(
instance
?PERSON
Human
)
(
subclass
?SEE
Seeing
)
(
forall
(?INST)
(=>
(
instance
?INST ?SEE)
(
patient
?INST ?STAGE))))
(
capability
?SEE
agent
?PERSON))
Mid-level-ontology.kif 7350-7364
Objet
est une
instance
de
AuditoriumSeat
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est une
instance
de
Auditorium
objet
est une
instance
de
PerformanceStage
objet
est
situ
� �
objet
objet
est une
instance
de
humain
processus
est une
sous
-classe de
voir
processus
processus
est une
instance
de
processus
objet
est un
patient
de
processus
objet
est
capable
de faire
processus
dans le r�le
agent
(=>
(
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 18563-18576
Processus
est une
instance
de
Sharing
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
entit�
objet
est un
patient
de
processus
processus
objet
processus
est une
instance
de
donner
processus
est un
sous
-processus de
processus
objet
est un
patient
de
processus
objet
est une
partie
de
objet
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
entit�
(=>
(
and
(
instance
?SOUND
RadiatingSound
)
(
agent
?SOUND ?OBJ)
(
attribute
?SOUND
Audible
))
(
exists
(?HUMAN ?HEAR)
(
and
(
instance
?HUMAN
Human
)
(
capability
(
KappaFn
?HEAR
(
and
(
instance
?HEAR
Hearing
)
(
agent
?HEAR ?HUMAN)
(
destination
?HEAR ?HUMAN)
(
origin
?HEAR ?OBJ)))
agent
?HUMAN))))
Merge.kif 13632-13646
Processus
est une
instance
de
son irradiant
processus
est un
agent
de
AutonomousAgent
Audible
est un
attribut
de
processus
objet
cha�ne sympbolique
objet
est une
instance
de
humain
objet
est
capable
de faire la
classe
d�crite par
cha�ne sympbolique
dans le r�le
agent
(=>
(
and
(
instance
?SR
ReconnaissanceOperation
)
(
agent
?SR ?AGENT))
(
not
(
hasPurpose
?SR
(
exists
(?ATTACK ?HOSTILE)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?HOSTILE))))))
MilitaryProcesses.kif 694-704
Processus
est une
instance
de
ReconnaissanceOperation
processus
est un
agent
de
AutonomousAgent
processus
a pour
but
entit�
entit�
entit�
est une
instance
de
Attack
entit�
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
entit�
(=>
(
and
(
instance
?SS
StayingStill
)
(
experiencer
?SS ?A))
(
not
(
exists
(?B ?T)
(
and
(
instance
?B
BodyMotion
)
(
instance
?T
Translocation
)
(
causes
?B ?T)
(
agent
?B ?A)))))
emotion.kif 1523-1533
Processus
est une
instance
de
StayingStill
AutonomousAgent
exp
�rimente
processus
processus
processus
processus
est une
instance
de
mouvement du corps
processus
est une
instance
de
Translocation
processus
cause
processus
processus
est un
agent
de
AutonomousAgent
(=>
(
and
(
instance
?TA_CTRL
TerminalAttackControl
)
(
agent
?TA_CTRL ?AGENT1)
(
patient
?TA_CTRL ?TARGET))
(
exists
(?AGENT2)
(
and
(
not
(
equal
?AGENT1 ?AGENT2))
(
confersRight
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT2)
(
patient
?ATTACK ?TARGET))) ?TA_CTRL ?AGENT2))))
MilitaryProcesses.kif 482-498
Entit�
_CTRL est une
instance
de
TerminalAttackControl
entit�
_CTRL est un
agent
de
AutonomousAgent
entit�
RGET est un
patient
de
entit�
_CTRL
agent cognitif
AutonomousAgent
est
agent cognitif
entit�
_CTRL
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�
RGET est un
patient
de
entit�
(=>
(
and
(
instance
?TA_CTRL
TerminalGuidance
)
(
agent
?TA_CTRL ?AGENT)
(
patient
?TA_CTRL ?TARGET))
(
not
(
holdsRight
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?TARGET))) ?AGENT)))
MilitaryProcesses.kif 535-547
Entit�
_CTRL est une
instance
de
TerminalGuidance
entit�
_CTRL est un
agent
de
agent cognitif
entit�
RGET est un
patient
de
entit�
_CTRL
agent cognitif
n' %n{pas} le
droit
d'executer
entit�
entit�
est une
instance
de
Attack
entit�
est un
agent
de
agent cognitif
entit�
RGET est un
patient
de
entit�
(=>
(
and
(
instance
?TRANS
Buying
)
(
attribute
?TRANS
CBT
)
(
patient
?TRANS ?OBJ)
(
instance
?OBJ
Object
))
(
exists
(?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION)
(
and
(
instance
?BUYER
AutonomousAgent
)
(
instance
?SELLER
AutonomousAgent
)
(
agent
?TRANS ?BUYER)
(
origin
?TRANS ?SELLER)
(
instance
?BUYER_LOCATION
GeopoliticalArea
)
(
instance
?SELLER_LOCATION
GeopoliticalArea
)
(
located
?SELLER ?SELLER_LOCATION)
(
located
?BUYER ?BUYER_LOCATION)
(
not
(
equal
?BUYER_LOCATION ?SELLER_LOCATION)))))
UXExperimentalTerms.kif 1841-1858
Objet
est une
instance
de
acheter
CBT
est un
attribut
de
objet
entit�
est un
patient
de
objet
entit�
est une
instance
de
objet
objet
AutonomousAgent
,
AutonomousAgent
_LOCATION and
objet
_LOCATION
AutonomousAgent
est une
instance
de
AutonomousAgent
objet
est une
instance
de
AutonomousAgent
objet
est un
agent
de
AutonomousAgent
objet
a pour
origine
objet
AutonomousAgent
_LOCATION est une
instance
de
secteur g�opolitique
objet
_LOCATION est une
instance
de
secteur g�opolitique
objet
est
situ
� �
objet
_LOCATION
AutonomousAgent
est
situ
� �
AutonomousAgent
_LOCATION
AutonomousAgent
_LOCATION est
objet
_LOCATION
(=>
(
and
(
instance
?TRANS
FinancialTransaction
)
(
attribute
?TRANS
BusinessToBusiness
))
(
exists
(?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
(
and
(
instance
?ACCT1
UserAccount
)
(
instance
?ACCT2
UserAccount
)
(
instance
?USER1
AutonomousAgent
)
(
instance
?USER2
AutonomousAgent
)
(
instance
?SITE
WebSite
)
(
agent
?TRANS ?USER1)
(
destination
?TRANS ?USER2)
(
instrument
?TRANS ?SITE)
(
hasAccount
?USER1 ?ACCT1)
(
hasAccount
?USER2 ?ACCT2)
(
accountAtSite
?ACCT1 ?SITE)
(
accountAtSite
?ACCT2 ?SITE)
(
attribute
?ACCT1
BusinessAccount
)
(
attribute
?ACCT2
BusinessAccount
))))
UXExperimentalTerms.kif 1727-1746
Objet
est une
instance
de
financial transaction
BusinessToBusiness
est un
attribut
de
objet
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
est une
instance
de
UserAccount
UserAccount
est une
instance
de
UserAccount
AutonomousAgent
est une
instance
de
AutonomousAgent
AutonomousAgent
est une
instance
de
AutonomousAgent
WebSite
est une
instance
de
WebSite
objet
est un
agent
de
AutonomousAgent
objet
aboutit
�
AutonomousAgent
WebSite
est un
instrument
pour
objet
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
BusinessAccount
est un
attribut
de
UserAccount
BusinessAccount
est un
attribut
de
UserAccount
(=>
(
and
(
instance
?TRANS
FinancialTransaction
)
(
attribute
?TRANS
BusinessToConsumer
))
(
exists
(?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
(
and
(
instance
?ACCT1
UserAccount
)
(
instance
?ACCT2
UserAccount
)
(
instance
?USER1
AutonomousAgent
)
(
instance
?USER2
AutonomousAgent
)
(
instance
?SITE
WebSite
)
(
agent
?TRANS ?USER1)
(
destination
?TRANS ?USER2)
(
instrument
?TRANS ?SITE)
(
hasAccount
?USER1 ?ACCT1)
(
hasAccount
?USER2 ?ACCT2)
(
accountAtSite
?ACCT1 ?SITE)
(
accountAtSite
?ACCT2 ?SITE)
(
attribute
?ACCT1
BusinessAccount
)
(
attribute
?ACCT2
ConsumerAccount
))))
UXExperimentalTerms.kif 1759-1778
Objet
est une
instance
de
financial transaction
BusinessToConsumer
est un
attribut
de
objet
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
est une
instance
de
UserAccount
UserAccount
est une
instance
de
UserAccount
AutonomousAgent
est une
instance
de
AutonomousAgent
AutonomousAgent
est une
instance
de
AutonomousAgent
WebSite
est une
instance
de
WebSite
objet
est un
agent
de
AutonomousAgent
objet
aboutit
�
AutonomousAgent
WebSite
est un
instrument
pour
objet
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
BusinessAccount
est un
attribut
de
UserAccount
ConsumerAccount
est un
attribut
de
UserAccount
(=>
(
and
(
instance
?TRANS
FinancialTransaction
)
(
attribute
?TRANS
ConsumerToConsumer
))
(
exists
(?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
(
and
(
instance
?ACCT1
UserAccount
)
(
instance
?ACCT2
UserAccount
)
(
instance
?USER1
AutonomousAgent
)
(
instance
?USER2
AutonomousAgent
)
(
instance
?SITE
WebSite
)
(
agent
?TRANS ?USER1)
(
destination
?TRANS ?USER2)
(
instrument
?TRANS ?SITE)
(
hasAccount
?USER1 ?ACCT1)
(
hasAccount
?USER2 ?ACCT2)
(
accountAtSite
?ACCT1 ?SITE)
(
accountAtSite
?ACCT2 ?SITE)
(
attribute
?ACCT1
ConsumerAccount
)
(
attribute
?ACCT2
ConsumerAccount
))))
UXExperimentalTerms.kif 1791-1810
Objet
est une
instance
de
financial transaction
ConsumerToConsumer
est un
attribut
de
objet
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
est une
instance
de
UserAccount
UserAccount
est une
instance
de
UserAccount
AutonomousAgent
est une
instance
de
AutonomousAgent
AutonomousAgent
est une
instance
de
AutonomousAgent
WebSite
est une
instance
de
WebSite
objet
est un
agent
de
AutonomousAgent
objet
aboutit
�
AutonomousAgent
WebSite
est un
instrument
pour
objet
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
ConsumerAccount
est un
attribut
de
UserAccount
ConsumerAccount
est un
attribut
de
UserAccount
(=>
(
and
(
instance
?TRANS
Selling
)
(
attribute
?TRANS
CBT
)
(
patient
?TRANS ?OBJ)
(
instance
?OBJ
Object
))
(
exists
(?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION)
(
and
(
instance
?BUYER
AutonomousAgent
)
(
instance
?SELLER
AutonomousAgent
)
(
destination
?TRANS ?BUYER)
(
agent
?TRANS ?SELLER)
(
instance
?BUYER_LOCATION
GeopoliticalArea
)
(
instance
?SELLER_LOCATION
GeopoliticalArea
)
(
located
?SELLER ?SELLER_LOCATION)
(
located
?BUYER ?BUYER_LOCATION)
(
not
(
equal
?BUYER_LOCATION ?SELLER_LOCATION)))))
UXExperimentalTerms.kif 1822-1839
Objet
est une
instance
de
vendre
CBT
est un
attribut
de
objet
entit�
est un
patient
de
objet
entit�
est une
instance
de
objet
AutonomousAgent
physique
,
physique
_LOCATION and
AutonomousAgent
_LOCATION
physique
est une
instance
de
AutonomousAgent
AutonomousAgent
est une
instance
de
AutonomousAgent
objet
aboutit
�
physique
objet
est un
agent
de
AutonomousAgent
physique
_LOCATION est une
instance
de
secteur g�opolitique
AutonomousAgent
_LOCATION est une
instance
de
secteur g�opolitique
AutonomousAgent
est
situ
� �
AutonomousAgent
_LOCATION
physique
est
situ
� �
physique
_LOCATION
physique
_LOCATION est
AutonomousAgent
_LOCATION
(=>
(
and
(
instance
?Transaction
FinancialTransaction
)
(
destination
?Transaction ?Agent))
(
and
(
instance
?Service
CommercialService
)
(
agent
?Service ?Agent)
(
attribute
?Service
OpenService
)))
FinancialOntology.kif 3959-3966
Processus
est une
instance
de
financial transaction
processus
aboutit
�
AutonomousAgent
processus
est une
instance
de
CommercialService
processus
est un
agent
de
AutonomousAgent
OpenService
est un
attribut
de
processus
(=>
(
and
(
instance
?UNIT
SecurityUnit
)
(
subOrganization
?UNIT ?ORG))
(
holdsObligation
(
exists
(?MAINTAIN)
(
and
(
instance
?MAINTAIN
Maintaining
)
(
agent
?MAINTAIN ?UNIT)
(
patient
?MAINTAIN ?ORG))) ?UNIT))
Mid-level-ontology.kif 8525-8535
Organisation
est une
instance
de
SecurityUnit
organisation
est une partie de l'organization
organisation
organisation
est
oblig
� d'ex�cut� des t�ches du type
entit�
entit�
est une
instance
de
maintenir
entit�
est un
agent
de
organisation
organisation
est un
patient
de
entit�
(=>
(
and
(
instance
?UW
UnconventionalWarfare
)
(
agent
?UW ?AGENT)
(
not
(
equal
?AGENT ?POPULACE))
(
not
(
equal
?AGENT
(
GovernmentFn
?NATION)))
(
patient
?UW ?POPULACE)
(
or
(
member
?POPULACE
(
ResidentFn
?NATION))
(
subCollection
?POPULACE
(
ResidentFn
?NATION))))
(
exists
(?CONTEST)
(
and
(
instance
?CONTEST
Contest
)
(
agent
?CONTEST ?POPULACE)
(
agent
?CONTEST
(
GovernmentFn
?NATION)))))
MilitaryProcesses.kif 163-183
Processus
est une
instance
de
UnconventionalWarfare
processus
est un
agent
de
gouvernement
gouvernement
est
AutonomousAgent
gouvernement
est
gouvernment
de
secteur g�opolitique
AutonomousAgent
est un
patient
de
processus
AutonomousAgent
est un
membre
de
ResidentFn
secteur g�opolitique
AutonomousAgent
est une
sous
-collection appartenant �
ResidentFn
secteur g�opolitique
processus
processus
est une
instance
de
affrontement
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de le
gouvernment
de
secteur g�opolitique
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