instrument
(=>
(
and
(
instance
?E
Exhaust
)
(
material
Fuel
?E)
(
instance
?T
Transfer
)
(
instance
?ENG
Engine
)
(
origin
?T ?ENG)
(
instance
?CC
CatalyticConverter
)
(
destination
?T ?CC)
(
objectTransferred
?T ?E))
(
hasPurpose
?CC
(
exists
(?C)
(
and
(
instance
?C
Combustion
)
(
instrument
?C ?CC)
(
patient
?C ?E)
(
eventLocated
?C ?CC)))))
Cars.kif 1717-1733
Objet corpusculaire
est une
instance
de
Exhaust
Fuel
est
fait
de
objet corpusculaire
transf�re
est une
instance
de
transf�re
objet corpusculaire
NG est une
instance
de
Engine
transf�re
a pour
origine
objet corpusculaire
NG
physique
est une
instance
de
CatalyticConverter
transf�re
aboutit
�
physique
objectTransferred
transf�re
and
objet corpusculaire
physique
a pour
but
entit�
entit�
est une
instance
de
combustion
physique
est un
instrument
pour
entit�
objet corpusculaire
est un
patient
de
entit�
eventLocated
entit�
and
physique
(=>
(
and
(
instance
?E
Extension
)
(
moves
?E ?BP))
(
exists
(?M ?MC)
(
and
(
instance
?M
Muscle
)
(
instance
?MC
MuscularContraction
)
(
instrument
?E ?M)
(
connected
?M ?BP)
(
subProcess
?MC ?E))))
Mid-level-ontology.kif 10647-10657
D�palcement
est une
instance
de
Extension
moves
d�palcement
and
objet
objet
objet
C
objet
est une
instance
de
muscle
objet
C est une
instance
de
MuscularContraction
objet
est un
instrument
pour
d�palcement
objet
est
connect
� �
objet
objet
C est un
sous
-processus de
d�palcement
(=>
(
and
(
instance
?ECS
EngineCoolingSystem
)
(
instance
?E
Engine
)
(
instance
?A
Automobile
)
(
part
?ECS ?A)
(
part
?E ?A))
(
hasPurpose
?ECS
(
exists
(?C)
(
and
(
instance
?C
Cooling
)
(
instrument
?C ?ECS)
(
patient
?C ?E)))))
Cars.kif 2142-2154
Objet
est une
instance
de
EngineCoolingSystem
objet
est une
instance
de
Engine
objet
est une
instance
de
Automobile
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
a pour
but
entit�
entit�
est une
instance
de
refroidir
objet
est un
instrument
pour
entit�
objet
est un
patient
de
entit�
(=>
(
and
(
instance
?EM
Electromagnet
)
(
instance
?T
Transfer
)
(
instance
?E
Electricity
)
(
objectTransferred
?T ?E)
(
path
?T ?EM))
(
exists
(?M)
(
and
(
instance
?M
Magnetism
)
(
instrument
?M ?EM))))
Cars.kif 3893-3903
Objet
est une
instance
de
Electromagnet
transf�re
est une
instance
de
transf�re
objet
est une
instance
de
Electricity
objectTransferred
transf�re
and
objet
objet
est le
chemin
le long duquel
transf�re
se produit
processus
processus
est une
instance
de
Magnetism
objet
est un
instrument
pour
processus
(=>
(
and
(
instance
?EM
Electromagnet
)
(
not
(
holdsDuring
?T1
(
exists
(?T ?E)
(
and
(
instance
?T
Transfer
)
(
instance
?E
Electricity
)
(
objectTransferred
?T ?E)
(
path
?T ?EM))))))
(
not
(
holdsDuring
?T1
(
exists
(?M)
(
and
(
instance
?M
Magnetism
)
(
instrument
?M ?EM))))))
Cars.kif 3905-3921
Entit�
est une
instance
de
Electromagnet
entit�
entit�
entit�
est une
instance
de
transf�re
entit�
est une
instance
de
Electricity
objectTransferred
entit�
and
entit�
entit�
est le
chemin
le long duquel
entit�
se produit
pendant
entit�
1
entit�
entit�
est une
instance
de
Magnetism
entit�
est un
instrument
pour
entit�
pendant
entit�
1
(=>
(
and
(
instance
?EXPRESS
FacialExpression
)
(
agent
?EXPRESS ?AGENT))
(
exists
(?FACE)
(
and
(
part
?FACE ?AGENT)
(
instance
?FACE
Face
)
(
instrument
?EXPRESS ?FACE))))
Mid-level-ontology.kif 13008-13016
Processus
est une
instance
de
FacialExpression
processus
est un
agent
de
AutonomousAgent
objet
objet
est une
partie
de
AutonomousAgent
objet
est une
instance
de
Face
objet
est un
instrument
pour
processus
(=>
(
and
(
instance
?F
Flexion
)
(
moves
?F ?BP))
(
exists
(?M ?MC)
(
and
(
instance
?M
Muscle
)
(
instance
?MC
MuscularContraction
)
(
instrument
?F ?M)
(
connected
?M ?BP)
(
subProcess
?MC ?F))))
Mid-level-ontology.kif 10607-10617
D�palcement
est une
instance
de
Flexion
moves
d�palcement
and
objet
objet
objet
C
objet
est une
instance
de
muscle
objet
C est une
instance
de
MuscularContraction
objet
est un
instrument
pour
d�palcement
objet
est
connect
� �
objet
objet
C est un
sous
-processus de
d�palcement
(=>
(
and
(
instance
?F
Folding
)
(
patient
?F ?O))
(
exists
(?C ?P1 ?P2)
(
and
(
instance
?C
Covering
)
(
subProcess
?C ?F)
(
part
?P1 ?O)
(
part
?P2 ?O)
(
instrument
?C ?P1)
(
patient
?C ?P2))))
Mid-level-ontology.kif 3169-3180
Processus
est une
instance
de
Folding
objet
est un
patient
de
processus
processus
objet
and
objet
processus
est une
instance
de
couvrir
processus
est un
sous
-processus de
processus
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est un
instrument
pour
processus
objet
est un
patient
de
processus
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
instance
?O
Organism
)
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?KILLING)
(
capability
(
KappaFn
?KILLING
(
and
(
instance
?KILLING
Killing
)
(
patient
?KILLING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1417-1436
Appareil
est une
instance
de
Gun
unit� de mesure
est une
instance
de
UnitOfLength
effectiveRange
appareil
and
nombre r�el
unit� de mesure
(s) la
distance
entre
appareil
et
objet
est
nombre r�el
1
unit� de mesure
(s)
objet
est une
instance
de
organisme
objet
2
objet
2 est
entre
objet
et
appareil
nombre r�el
1 est plus
petit
ou �gal �
nombre r�el
cha�ne sympbolique
appareil
est
capable
de faire la
classe
d�crite par
cha�ne sympbolique
dans le r�le
instrument
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?DAMAGING)
(
capability
(
KappaFn
?DAMAGING
(
and
(
instance
?DAMAGING
Damaging
)
(
patient
?DAMAGING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1395-1413
Appareil
est une
instance
de
Gun
unit� de mesure
est une
instance
de
UnitOfLength
effectiveRange
appareil
and
nombre r�el
unit� de mesure
(s) la
distance
entre
appareil
et
objet
est
nombre r�el
1
unit� de mesure
(s)
objet
2
objet
2 est
entre
objet
et
appareil
nombre r�el
1 est plus
petit
ou �gal �
nombre r�el
cha�ne sympbolique
appareil
est
capable
de faire la
classe
d�crite par
cha�ne sympbolique
dans le r�le
instrument
(=>
(
and
(
instance
?H
Hotline
)
(
telephoneNumber
?H ?O)
(
instance
?O
Organization
))
(
hasPurpose
?H
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?O)
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
Communication
)
(
instrument
?C ?H)
(
equal
(
BeginFn
(
WhenFn
?C))
(
BeginFn
(
ImmediateFutureFn
(
WhenFn
?T))))))
Likely
)))))
Mid-level-ontology.kif 25093-25114
TelecomNumber
est une
instance
de
Hotline
telephoneNumber
TelecomNumber
and
AutonomousAgent
AutonomousAgent
est une
instance
de
organisation
TelecomNumber
a pour
but
entit�
entit�
est une
instance
de
Telephoning
entit�
aboutit
�
AutonomousAgent
l'argument
entit�
entit�
est une
instance
de
communication
TelecomNumber
est un
instrument
pour
entit�
le
d
�but de
temps
d'existence de
entit�
est
d
�but de immediatement
apr
�s
temps
d'existence de
entit�
a la
force
modale
de
Likely
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3447-3476
WearableItem
est une
instance
de
HearingProtection
animal
est une
instance
de
humain
animal
porte
WearableItem
WearableItem
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
processus
entit�
est une
sous
-classe de la
classe
d�crite par
entit�
entit�
previent
l'occurrence de
entit�
WearableItem
est un
instrument
pour
entit�
(=>
(
and
(
instance
?I
Intubation
)
(
instance
?T
Tube
)
(
objectTransferred
?I ?T)
(
experiencer
?I ?H))
(
hasPurpose
?I
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
instrument
?B ?T)))))
Medicine.kif 4123-4133
Transf�re
est une
instance
de
Intubation
objet
est une
instance
de
Tube
objectTransferred
transf�re
and
objet
AutonomousAgent
exp
�rimente
transf�re
transf�re
a pour
but
entit�
entit�
est une
instance
de
respirer
objet
est un
instrument
pour
entit�
(=>
(
and
(
instance
?I
Ironing
)
(
patient
?I ?OBJ)
(
part
?FABRIC ?OBJ)
(
instance
?FABRIC
Fabric
))
(
exists
(?IRON ?HEAT)
(
and
(
instance
?HEAT
Heating
)
(
patient
?HEAT ?IRON)
(
instance
?IRON
FabricIron
)
(
instrument
?I ?IRON))))
Mid-level-ontology.kif 25264-25275
Processus
est une
instance
de
Ironing
objet
est un
patient
de
processus
objet
est une
partie
de
objet
objet
est une
instance
de
textile
processus
RON
processus
processus
est une
instance
de
r�chauffer
processus
RON est un
patient
de
processus
processus
RON est une
instance
de
FabricIron
processus
RON est un
instrument
pour
processus
(=>
(
and
(
instance
?I
Ironing
)
(
patient
?I ?OBJ))
(
exists
(?HEAT ?IRON ?PART)
(
and
(
superficialPart
?PART ?OBJ)
(
instance
?HEAT
Heating
)
(
patient
?HEAT ?IRON)
(
patient
?I ?PART)
(
instrument
?I ?IRON))))
Mid-level-ontology.kif 25252-25262
Processus
est une
instance
de
Ironing
objet
est un
patient
de
processus
processus
processus
RON and
objet
objet
est une partie
superficielle
de
objet
processus
est une
instance
de
r�chauffer
processus
RON est un
patient
de
processus
objet
est un
patient
de
processus
processus
RON est un
instrument
pour
processus
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWBUYERS)
(
and
(
instance
?NEWBUYERS
Collection
)
(
forall
(?AGENT)
(=>
(
member
?AGENT ?NEWBUYERS)
(
and
(
exists
(?BUYING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?AGENT)
(
instrument
?BUYING ?SITE)
(
during
?BUYING ?INTERVAL)))
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
exists
(?BUYING_BEFORE)
(
and
(
instance
?BUYING_BEFORE
Buying
)
(
agent
?BUYING_BEFORE ?AGENT)
(
instrument
?BUYING_BEFORE ?SITE)
(
during
?BUYING_BEFORE ?INTERVAL))))))))))
(
equal
(
SiteWideNewBuyersFn
?INTERVAL ?SITE) ?NEWBUYERS))))
UXExperimentalTerms.kif 3376-3408
Interval temporel
est une
instance
de
interval temporel
WebSite
est une
instance
de
WebSite
collection
collection
est une
instance
de
collection
AutonomousAgent
AutonomousAgent
est un
membre
de
collection
interval temporel
AutonomousAgent
est une
instance
de
AutonomousAgent
interval temporel
est une
instance
de
acheter
interval temporel
est un
agent
de
AutonomousAgent
WebSite
est un
instrument
pour
interval temporel
interval temporel
prend place
pendant
interval temporel
interval temporel
_BEFORE
interval temporel
_BEFORE est une
instance
de
interval temporel
interval temporel
_BEFORE arrive
plus
t�t que
interval temporel
interval temporel
_BEFORE
interval temporel
_BEFORE est une
instance
de
acheter
interval temporel
_BEFORE est un
agent
de
AutonomousAgent
WebSite
est un
instrument
pour
interval temporel
_BEFORE
interval temporel
_BEFORE prend place
pendant
interval temporel
pendant
interval temporel
_BEFORE
SiteWideNewBuyersFn
interval temporel
and
WebSite
est
collection
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWSELLERS)
(
and
(
instance
?NEWSELLERS
Collection
)
(
forall
(?AGENT)
(=>
(
member
?AGENT ?NEWSELLERS)
(
and
(
exists
(?SELLING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?AGENT)
(
instrument
?SELLING ?SITE)
(
during
?SELLING ?INTERVAL)))
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
exists
(?SELLING_BEFORE)
(
and
(
instance
?SELLING_BEFORE
Selling
)
(
agent
?SELLING_BEFORE ?AGENT)
(
instrument
?SELLING_BEFORE ?SITE)
(
during
?SELLING_BEFORE ?INTERVAL))))))))))
(
equal
(
SiteWideNewSellersFn
?INTERVAL ?SITE) ?NEWSELLERS))))
UXExperimentalTerms.kif 3475-3507
Interval temporel
est une
instance
de
interval temporel
WebSite
est une
instance
de
WebSite
collection
collection
est une
instance
de
collection
AutonomousAgent
AutonomousAgent
est un
membre
de
collection
interval temporel
AutonomousAgent
est une
instance
de
AutonomousAgent
interval temporel
est une
instance
de
vendre
interval temporel
est un
agent
de
AutonomousAgent
WebSite
est un
instrument
pour
interval temporel
interval temporel
prend place
pendant
interval temporel
interval temporel
_BEFORE
interval temporel
_BEFORE est une
instance
de
interval temporel
interval temporel
_BEFORE arrive
plus
t�t que
interval temporel
interval temporel
_BEFORE
interval temporel
_BEFORE est une
instance
de
vendre
interval temporel
_BEFORE est un
agent
de
AutonomousAgent
WebSite
est un
instrument
pour
interval temporel
_BEFORE
interval temporel
_BEFORE prend place
pendant
interval temporel
pendant
interval temporel
_BEFORE
SiteWideNewSellersFn
interval temporel
and
WebSite
est
collection
(=>
(
and
(
instance
?KICK
Kicking
)
(
agent
?KICK ?ANIMAL))
(
exists
(?FOOT)
(
and
(
instance
?FOOT
Foot
)
(
part
?FOOT ?ANIMAL)
(
instrument
?KICK ?FOOT))))
Mid-level-ontology.kif 6637-6645
Processus
est une
instance
de
Kicking
processus
est un
agent
de
AutonomousAgent
objet
objet
est une
instance
de
Foot
objet
est une
partie
de
AutonomousAgent
objet
est un
instrument
pour
processus
(=>
(
and
(
instance
?KL
KnockLight
)
(
located
?KL ?ROOM)
(
instance
?ROOM
Room
)
(
instance
?DOOR
Door
)
(
part
?DOOR ?ROOM))
(
hasPurpose
?KL
(
exists
(?KNOCK ?SOUND ?LIGHT)
(
and
(
instance
?KNOCK
Impacting
)
(
patient
?KNOCK ?DOOR)
(
causes
?KNOCK ?SOUND)
(
instance
?SOUND
RadiatingSound
)
(
agent
?SOUND ?DOOR)
(
causes
?SOUND ?LIGHT)
(
instance
?LIGHT
RadiatingVisibleLight
)
(
instrument
?LIGHT ?KL)))))
Mid-level-ontology.kif 25821-25838
Physique
est une
instance
de
KnockLight
physique
est
situ
� �
objet
objet
est une
instance
de
pi�ce
objet
est une
instance
de
Door
objet
est une
partie
de
objet
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
impacte
objet
est un
patient
de
entit�
entit�
cause
entit�
entit�
est une
instance
de
son irradiant
entit�
est un
agent
de
objet
entit�
cause
entit�
entit�
est une
instance
de
RadiatingVisibleLight
physique
est un
instrument
pour
entit�
(=>
(
and
(
instance
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
deviceAccount
?A ?C)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
instrument
?P ?C))))
Possibility
))
ComputingBrands.kif 3988-4002
Processus
est une
instance
de
LoggingIn
hasAccount
AutonomousAgent
and
UserAccount
deviceAccount
UserAccount
and
Computer
interval temporel
est
apr
�s
temps
d'existence de
processus
processus
est un
agent
de
AutonomousAgent
l'argument
entit�
entit�
est une
instance
de
ComputerProcess
entit�
est un
agent
de
AutonomousAgent
Computer
est un
instrument
pour
entit�
pendant
interval temporel
a la
force
modale
de
Possibility
(=>
(
and
(
instance
?M
Microwave
)
(
attribute
?M
DeviceOn
))
(
exists
(?PROC)
(
and
(
instance
?PROC
RadiatingElectromagnetic
)
(
instrument
?PROC ?M))))
Food.kif 365-372
Objet
est une
instance
de
Microwave
DeviceOn
est un
attribut
de
objet
processus
processus
est une
instance
de
RadiatingElectromagnetic
objet
est un
instrument
pour
processus
(=>
(
and
(
instance
?MODEM
CableModem
)
(
instance
?COMM
Communication
)
(
instrument
?COMM ?MODEM))
(
exists
(?CABLE)
(
and
(
instance
?CABLE
Cable
)
(
instrument
?COMM ?CABLE)
(
connectedEngineeringComponents
?CABLE ?MODEM))))
ComputerInput.kif 577-586
Composant d'un appareil
est une
instance
de
CableModem
processus
est une
instance
de
communication
composant d'un appareil
est un
instrument
pour
processus
composant d'un appareil
composant d'un appareil
est une
instance
de
Cable
composant d'un appareil
est un
instrument
pour
processus
composant d'un appareil
est
connect
� �
composant d'un appareil
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
PipelineTransportation
))
(
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 ?PIPE)
(
and
(
instance
?T
Transportation
)
(
possesses
?P ?OBJ)
(
patient
?T ?OBJ)
(
instance
?OBJ
Substance
)
(
possesses
?ORG ?V)
(
instrument
?T ?PIPE)
(
instance
?PIPE
Pipeline
))) ?MEM ?P))))))
naics.kif 8465-8488
Collection
est une
instance
de
organisation
PipelineTransportation
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�
and
agent cognitif
IPE
entit�
est une
instance
de
transporter
agent cognitif
poss
�de
entit�
entit�
est un
patient
de
entit�
entit�
est une
instance
de
substance
collection
poss
�de
entit�
agent cognitif
IPE est un
instrument
pour
entit�
agent cognitif
IPE est une
instance
de
Pipeline
(=>
(
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
?P
Decoding
)
(
agent
?P ?A))
(
exists
(?CODE)
(
or
(
knows
?A ?CODE)
(
exists
(?OBJ)
(
and
(
instrument
?P ?OBJ)
(
containsInformation
?OBJ ?CODE))))))
QoSontology.kif 2181-2191
Processus
est une
instance
de
decoder
processus
est un
agent
de
agent cognitif
formule
agent cognitif
conna
�t
formule
objet
objet
est un
instrument
pour
processus
objet
contient
information
formule
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