agent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
RailTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?MOVE ?RR ?OBJ)
(
and
(
instance
?MOVE
Transportation
)
(
or
(
patient
?MOVE ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?MOVE ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?RR)
(
instance
?RR
RailVehicle
))) ?MEM ?P))))))
naics.kif 8034-8059
Collection
est une
instance
de
organisation
RailTransportation
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
agent cognitif
AutonomousAgent
est une
instance
de
vendre
agent cognitif
est une
instance
de
humain
agent cognitif
est un
patient
de
AutonomousAgent
processus
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
and
entit�
entit�
est une
instance
de
transporter
agent cognitif
est un
patient
de
entit�
agent cognitif
poss
�de
entit�
entit�
est un
patient
de
entit�
entit�
est une
instance
de
objet
collection
poss
�de
entit�
entit�
est une
instance
de
RailVehicle
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
ScenicAndSightseeingTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?TRANS ?VEH)
(
and
(
instance
?TRANS
Transportation
)
(
instance
?TRANS
RecreationOrExercise
)
(
patient
?TRANS ?P)
(
possesses
?ORG ?VEH)
(
instance
?VEH
Vehicle
))) ?MEM ?P))))))
naics.kif 8528-8549
Collection
est une
instance
de
organisation
ScenicAndSightseeingTransportation
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
agent cognitif
AutonomousAgent
est une
instance
de
vendre
agent cognitif
est une
instance
de
humain
agent cognitif
est un
patient
de
AutonomousAgent
processus
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
entit�
est une
instance
de
transporter
entit�
est une
instance
de
r�cr�ation ou exercice
agent cognitif
est un
patient
de
entit�
collection
poss
�de
entit�
entit�
est une
instance
de
Vehicle
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
SportingGoodsHobbyBookAndMusicStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Object
)
(
or
(
capability
Sport
instrument
?THING)
(
capability
MakingMusic
instrument
?THING)
(
instance
?THING
Book
)
(
instance
?THING
MusicRecording
)
(
instance
?THING
MusicText
))
(
patient
?EV ?THING))))))
naics.kif 7600-7618
Collection
est une
instance
de
organisation
SportingGoodsHobbyBookAndMusicStores
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
objet
AutonomousAgent
est une
instance
de
vendre
objet
est une
instance
de
objet
objet
est
capable
de faire
sport
dans le r�le
instrument
objet
est
capable
de faire
MakingMusic
dans le r�le
instrument
objet
est une
instance
de
livre
objet
est une
instance
de
MusicRecording
objet
est une
instance
de
MusicText
objet
est un
patient
de
AutonomousAgent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
TextileMills
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
Fabric
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 1944-1960
Collection
est une
instance
de
organisation
TextileMills
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
entit�
processus
2 and
AutonomousAgent
2
AutonomousAgent
est une
instance
de
manufacture
entit�
est une
instance
de
textile
entit�
est un
patient
de
AutonomousAgent
processus
2 est un
membre
de
collection
AutonomousAgent
2 est une
instance
de
vendre
AutonomousAgent
2 est un
agent
de
processus
2
entit�
est un
patient
de
AutonomousAgent
2
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
TextileProductMills
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
Fabric
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 2085-2101
Collection
est une
instance
de
organisation
TextileProductMills
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
entit�
processus
2 and
AutonomousAgent
2
AutonomousAgent
est une
instance
de
manufacture
entit�
est une
instance
de
textile
entit�
est un
patient
de
AutonomousAgent
processus
2 est un
membre
de
collection
AutonomousAgent
2 est une
instance
de
vendre
AutonomousAgent
2 est un
agent
de
processus
2
entit�
est un
patient
de
AutonomousAgent
2
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
TransitAndGroundPassengerTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V)
(
and
(
instance
?T
Transportation
)
(
patient
?T ?P)
(
possesses
?ORG ?V)
(
instance
?V
LandVehicle
))) ?MEM ?P))))))
naics.kif 8344-8364
Collection
est une
instance
de
organisation
TransitAndGroundPassengerTransportation
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
agent cognitif
AutonomousAgent
est une
instance
de
vendre
agent cognitif
est une
instance
de
humain
agent cognitif
est un
patient
de
AutonomousAgent
processus
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
entit�
est une
instance
de
transporter
agent cognitif
est un
patient
de
entit�
collection
poss
�de
entit�
entit�
est une
instance
de
LandVehicle
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
TransportationEquipmentManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
TransportationDevice
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 5683-5699
Collection
est une
instance
de
organisation
TransportationEquipmentManufacturing
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
entit�
processus
2 and
AutonomousAgent
2
AutonomousAgent
est une
instance
de
manufacture
entit�
est une
instance
de
v�hicule de transport
entit�
est un
patient
de
AutonomousAgent
processus
2 est un
membre
de
collection
AutonomousAgent
2 est une
instance
de
vendre
AutonomousAgent
2 est un
agent
de
processus
2
entit�
est un
patient
de
AutonomousAgent
2
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
TruckTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V ?OBJ)
(
and
(
instance
?T
Transportation
)
(
possesses
?P ?OBJ)
(
patient
?T ?OBJ)
(
instance
?OBJ
Object
)
(
possesses
?ORG ?V)
(
instance
?V
LandVehicle
))) ?MEM ?P))))))
naics.kif 8253-8275
Collection
est une
instance
de
organisation
TruckTransportation
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
agent cognitif
AutonomousAgent
est une
instance
de
vendre
agent cognitif
est une
instance
de
humain
agent cognitif
est un
patient
de
AutonomousAgent
processus
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
and
entit�
entit�
est une
instance
de
transporter
agent cognitif
poss
�de
entit�
entit�
est un
patient
de
entit�
entit�
est une
instance
de
objet
collection
poss
�de
entit�
entit�
est une
instance
de
LandVehicle
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
Utilities
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
or
(
instance
?EV
Removing
)
(
instance
?THING
Sewage
))
(
patient
?EV ?THING)
(
or
(
instance
?THING
Electron
)
(
instance
?THING
Water
)
(
and
(
instance
?THING
PureSubstance
)
(
capability
Combustion
patient
?THING)))
(
member
?MEM2 ?ORG)
(
instance
?EV2
FinancialTransaction
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 954-977
Collection
est une
instance
de
organisation
Utilities
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
objet
processus
2 and
AutonomousAgent
2
AutonomousAgent
est une
instance
de
supprimer
objet
est une
instance
de
Sewage
objet
est un
patient
de
AutonomousAgent
objet
est une
instance
de
�l�ctron
objet
est une
instance
de
eau
objet
est une
instance
de
substance pure
objet
est
capable
de faire
combustion
dans le r�le
patient
processus
2 est un
membre
de
collection
AutonomousAgent
2 est une
instance
de
financial transaction
AutonomousAgent
2 est un
agent
de
processus
2
objet
est un
patient
de
AutonomousAgent
2
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WarehousingAndStorage
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P ?OBJ)
(
and
(
instance
?EV
Selling
)
(
instance
?OBJ
Object
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?B ?T)
(
and
(
instance
?T
TimeInterval
)
(
instance
?B
Building
)
(
possesses
?P ?OBJ)
(
holdsDuring
?T
(
located
?B ?OBJ)))) ?MEM ?P))))))
naics.kif 8776-8797
Collection
est une
instance
de
organisation
WarehousingAndStorage
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
agent cognitif
entit�
AutonomousAgent
est une
instance
de
vendre
entit�
est une
instance
de
objet
agent cognitif
est une
instance
de
humain
agent cognitif
est un
patient
de
AutonomousAgent
processus
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
entit�
est une
instance
de
interval temporel
entit�
est une
instance
de
immeuble
agent cognitif
poss
�de
entit�
entit�
est
situ
� �
entit�
pendant
entit�
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WaterTransportationIndustry
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V ?OBJ)
(
and
(
instance
?T
Transportation
)
(
or
(
patient
?T ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?T ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?V)
(
instance
?V
WaterVehicle
))) ?MEM ?P))))))
naics.kif 8080-8105
Collection
est une
instance
de
organisation
WaterTransportationIndustry
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
agent cognitif
AutonomousAgent
est une
instance
de
vendre
agent cognitif
est une
instance
de
humain
agent cognitif
est un
patient
de
AutonomousAgent
processus
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
and
entit�
entit�
est une
instance
de
transporter
agent cognitif
est un
patient
de
entit�
agent cognitif
poss
�de
entit�
entit�
est un
patient
de
entit�
entit�
est une
instance
de
objet
collection
poss
�de
entit�
entit�
est une
instance
de
WaterVehicle
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WholesaleTrade
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Object
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 6375-6391
Collection
est une
instance
de
organisation
WholesaleTrade
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
entit�
processus
2 and
AutonomousAgent
2
AutonomousAgent
est une
instance
de
vendre
entit�
est une
instance
de
objet
entit�
est un
patient
de
AutonomousAgent
processus
2 est un
membre
de
collection
AutonomousAgent
2 est une
instance
de
vendre
AutonomousAgent
2 est un
agent
de
processus
2
entit�
est un
patient
de
AutonomousAgent
2
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WoodProductManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
or
(
instance
?THING
Wood
)
(
material
Wood
?THING))
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 2563-2581
Collection
est une
instance
de
organisation
WoodProductManufacturing
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
objet corpusculaire
processus
2 and
AutonomousAgent
2
AutonomousAgent
est une
instance
de
manufacture
objet corpusculaire
est une
instance
de
Wood
Wood
est
fait
de
objet corpusculaire
objet corpusculaire
est un
patient
de
AutonomousAgent
processus
2 est un
membre
de
collection
AutonomousAgent
2 est une
instance
de
vendre
AutonomousAgent
2 est un
agent
de
processus
2
objet corpusculaire
est un
patient
de
AutonomousAgent
2
(=>
(
and
(
instance
?P
CateringService
)
(
instance
?P ?CLASS)
(
agent
?P ?REST))
(
capability
?CLASS
agent
?REST))
Dining.kif 579-584
Processus
est une
instance
de
CateringService
processus
est une
instance
de
processus
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est
capable
de faire
processus
dans le r�le
agent
(=>
(
and
(
instance
?P
DigitalPost
)
(
instance
?A
AutonomousAgent
)
(
instance
?W
WebSite
)
(
component
?P ?W)
(
creator
?A ?P)
(
registeredUser
?A ?W))
(
hasPurpose
?P
(
exists
(?D)
(
and
(
instance
?D
Disseminating
)
(
agent
?D ?A)
(
patient
?D ?P)
(
instrument
?D ?W)))))
ComputerInput.kif 2830-2844
Objet corpusculaire
est une
instance
de
DigitalPost
AutonomousAgent
est une
instance
de
AutonomousAgent
WebSite
est une
instance
de
WebSite
objet corpusculaire
est un
composant
de
WebSite
creator
AutonomousAgent
and
objet corpusculaire
registeredUser
AutonomousAgent
and
WebSite
objet corpusculaire
a pour
but
entit�
entit�
est une
instance
de
disseminer
entit�
est un
agent
de
AutonomousAgent
objet corpusculaire
est un
patient
de
entit�
WebSite
est un
instrument
pour
entit�
(=>
(
and
(
instance
?P
FoodPickup
)
(
agent
?P ?AGENT)
(
destination
?P ?CUST)
(
patient
?P ?FOOD))
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
exists
(?LOC ?T ?G)
(
and
(
located
?AGENT ?LOC)
(
instance
?T
Translocation
)
(
agent
?T ?CUST)
(
destination
?T ?LOC)
(
instance
?G
Getting
)
(
origin
?G ?AGENT)
(
destination
?G ?CUST)
(
patient
?G ?FOOD)))))
Dining.kif 610-627
Processus
est une
instance
de
FoodPickup
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
AutonomousAgent
entit�
est un
patient
de
processus
entit�
est une
instance
de
FoodForFn
humain
objet
processus
and
processus
AutonomousAgent
est
situ
� �
objet
processus
est une
instance
de
Translocation
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
objet
processus
est une
instance
de
obtenir
processus
a pour
origine
AutonomousAgent
processus
aboutit
�
AutonomousAgent
entit�
est un
patient
de
processus
(=>
(
and
(
instance
?P
Passport
)
(
possesses
?A ?P))
(
confersNorm
?P
(
exists
(?T ?N1 ?N2)
(
and
(
instance
?T
Translocation
)
(
agent
?T ?A)
(
origin
?T ?N1)
(
destination
?T ?N2)
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
not
(
equal
?N1 ?N2))))
Permission
))
Mid-level-ontology.kif 16560-16574
Objet
est une
instance
de
Passport
AutonomousAgent
poss
�de
objet
confersNorm
objet
,
entit�
entit�
and
entit�
entit�
est une
instance
de
Translocation
entit�
est un
agent
de
AutonomousAgent
entit�
a pour
origine
entit�
entit�
aboutit
�
entit�
entit�
est une
instance
de
nation
entit�
est une
instance
de
nation
entit�
est
entit�
and
Permission
(=>
(
and
(
instance
?P
Prescription
)
(
instance
?M
Medicine
)
(
refers
?P ?M))
(
exists
(?PHARM ?S)
(
and
(
instance
?S
Selling
)
(
objectTransferred
?S ?M)
(
agent
?S ?PHARM)
(
attribute
?S
Pharmacist
))))
Mid-level-ontology.kif 9277-9287
Entit�
est une
instance
de
Prescription
objet
est une
instance
de
Medicine
entit�
inclut une
r
�f�rence �
objet
entit�
HARM
transf�re
transf�re
est une
instance
de
vendre
objectTransferred
transf�re
and
objet
transf�re
est un
agent
de
entit�
HARM
Pharmacist
est un
attribut
de
transf�re
(=>
(
and
(
instance
?PLANNING
OperationPlanning
)
(
agent
?PLANNING ?COMMANDER))
(
or
(
and
(
instance
?COMMANDER
CombatantCommander
)
(
exists
(?REQUEST ?CHAIRMAN)
(
and
(
instance
?REQUEST
Requesting
)
(
agent
?REQUEST ?CHAIRMAN)
(
attribute
?CHAIRMAN
ChairmanJCS
)
(
causes
?REQUEST ?PLANNING))))
(
and
(
instance
?COMMANDER
SubunifiedCommander
)
(
exists
(?REQUEST ?COMMANDERSUPER ?MILITARY)
(
and
(
instance
?REQUEST
Requesting
)
(
agent
?REQUEST ?COMMANDERSUPER)
(
attribute
?COMMANDERSUPER
MilitaryCommander
)
(
subordinatePosition
?MILITARY ?COMMANDER ?COMMANDERSUPER)
(
instance
?MILITARY
MilitaryForce
)
(
causes
?REQUEST ?PLANNING))))))
MilitaryProcesses.kif 1582-1604
Processus
est une
instance
de
OperationPlanning
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est une
instance
de
CombatantCommander
processus
AutonomousAgent
processus
est une
instance
de
demander
processus
est un
agent
de
AutonomousAgent
ChairmanJCS
est un
attribut
de
AutonomousAgent
processus
cause
processus
AutonomousAgent
est une
instance
de
SubunifiedCommander
processus
AutonomousAgent
SUPER and
organisation
processus
est une
instance
de
demander
processus
est un
agent
de
AutonomousAgent
SUPER
MilitaryCommander
est un
attribut
de
AutonomousAgent
SUPER
subordinatePosition
organisation
,
AutonomousAgent
and
AutonomousAgent
SUPER
organisation
est une
instance
de
MilitaryForce
processus
cause
processus
(=>
(
and
(
instance
?PLT
PressingLipsTogether
)
(
agent
?PLT ?A))
(
exists
(?L ?BM)
(
and
(
instance
?L
Lip
)
(
part
?L ?A)
(
instance
?BM
BodyMotion
)
(
patient
?BM ?L)
(
agent
?BM ?A))))
emotion.kif 1202-1212
Processus
est une
instance
de
PressingLipsTogether
processus
est un
agent
de
AutonomousAgent
objet
processus
objet
est une
instance
de
Lip
objet
est une
partie
de
AutonomousAgent
processus
est une
instance
de
mouvement du corps
objet
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
(=>
(
and
(
instance
?PROC
IntentionalProcess
)
(
result
?PROC ?DOC)
(
recordForAgreement
?DOC ?AG)
(
attribute
?AG
Legal
))
(
exists
(?O ?A ?A1 ?A2)
(
and
(
instance
?O
Offering
)
(
instance
?A
ReachingAgreement
)
(
refers
?O ?AG)
(
refers
?A ?AG)
(
agent
?O ?A1)
(
agent
?A ?A2)
(
earlier
(
WhenFn
?O)
(
WhenFn
?A)))))
Law.kif 526-540
Processus
est une
instance
de
processus intentionnel
ContentBearingPhysical
est le
resultat
de
processus
recordForAgreement
ContentBearingPhysical
and
Agreement
Legal
est un
attribut
de
Agreement
processus
processus
,
processus
1 and
processus
2
processus
est une
instance
de
Offering
processus
est une
instance
de
ReachingAgreement
processus
inclut une
r
�f�rence �
Agreement
processus
inclut une
r
�f�rence �
Agreement
processus
est un
agent
de
processus
1
processus
est un
agent
de
processus
2
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
and
(
instance
?PROC
SingleAgentProcess
)
(
agent
?PROC ?AGENT1)
(
agent
?PROC ?AGENT2))
(
and
(
equal
?AGENT1 ?AGENT2)
(
not
(
exists
(?AGENT3)
(
and
(
agent
?PROC ?AGENT3)
(
not
(
equal
?AGENT3 ?AGENT1)))))))
Merge.kif 1655-1667
Processus
est une
instance
de
SingleAgentProcess
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est
AutonomousAgent
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est
AutonomousAgent
(=>
(
and
(
instance
?PSYOP
PsychologicalOperation
)
(
agent
?PSYOP ?AGENT)
(
patient
?PSYOP ?TARGET))
(
hasPurpose
?PSYOP
(
exists
(?PROCESS ?RESULT)
(
and
(
agent
?PROCESS ?TARGET)
(
result
?PROCESS ?RESULT)
(
desires
?AGENT ?RESULT)))))
MilitaryProcesses.kif 1184-1194
Processus
est une
instance
de
PsychologicalOperation
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
processus
a pour
but
entit�
entit�
entit�
est un
agent
de
entit�
entit�
est le
resultat
de
entit�
AutonomousAgent
desire
entit�
(=>
(
and
(
instance
?PURCHASE
TransactionCollection
)
(
instance
?BUYING1
Buying
)
(
instance
?BUYING2
Buying
)
(
subProcess
?BUYING1 ?PURCHASE)
(
subProcess
?BUYING2 ?PURCHASE)
(
agent
?PURCHASE ?AGENT)
(
instrument
?PURCHASE ?INST))
(
and
(
agent
?BUYING1 ?AGENT)
(
agent
?BUYING2 ?AGENT)
(
instrument
?BUYING1 ?INST)
(
instrument
?BUYING2 ?INST)))
UXExperimentalTerms.kif 1940-1953
Processus
est une
instance
de
TransactionCollection
processus
est une
instance
de
acheter
processus
est une
instance
de
acheter
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
processus
est un
agent
de
AutonomousAgent
objet
est un
instrument
pour
processus
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
objet
est un
instrument
pour
processus
objet
est un
instrument
pour
processus
(=>
(
and
(
instance
?QUERY
SearchQuery
)
(
instance
?SEARCHATTEMPT
SearchAttempt
)
(
represents
?QUERY ?SEARCHATTEMPT))
(
exists
(?AGENT ?OBJ)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
patient
?SEARCHATTEMPT ?OBJ)
(
agent
?SEARCHATTEMPT ?AGENT))))
UXExperimentalTerms.kif 2426-2435
Entit�
est une
instance
de
SearchQuery
processus
est une
instance
de
SearchAttempt
entit�
d
�finie
processus
AutonomousAgent
entit�
AutonomousAgent
est une
instance
de
AutonomousAgent
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
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