agent
(=>
(
and
(
instance
?EBP
EmotionalBehavioralProcess
)
(
agent
?EBP ?A))
(
exists
(?FE)
(
and
(
instance
?FE
FacialExpression
)
(
agent
?FE ?A)
(
causes
?EBP ?FE))))
emotion.kif 129-137
Processus
est une
instance
de
EmotionalBehavioralProcess
processus
est un
agent
de
AutonomousAgent
processus
processus
est une
instance
de
FacialExpression
processus
est un
agent
de
AutonomousAgent
processus
cause
processus
(=>
(
and
(
instance
?EF
Exfiltration
)
(
agent
?EF ?AGENT))
(
exists
(?PRET ?ENEMY)
(
and
(
instance
?PRET
Pretending
)
(
agent
?PRET ?AGENT)
(
patient
?PRET ?ENEMY)
(
hasPurpose
?PRET
(
believes
?ENEMY
(
not
(
exists
(?EF0)
(
equal
?EF0 ?EF))))))))
MilitaryProcesses.kif 257-270
Processus
est une
instance
de
Exfiltration
processus
est un
agent
de
AutonomousAgent
processus
entit�
processus
est une
instance
de
pr�tendre
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
processus
a pour
but
entit�
croit
processus
0
processus
0 est
processus
(=>
(
and
(
instance
?ELT
ExperiencingALumpInTheThroat
)
(
experiencer
?ELT ?A))
(
exists
(?P ?T)
(
and
(
instance
?P
Perception
)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
instance
?T
Throat
)
(
part
?T ?A))))
emotion.kif 1710-1721
Processus
est une
instance
de
ExperiencingALumpInTheThroat
AutonomousAgent
exp
�rimente
processus
processus
objet
processus
est une
instance
de
perception
processus
est un
sous
-processus de
processus
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
objet
est une
instance
de
Throat
objet
est une
partie
de
AutonomousAgent
(=>
(
and
(
instance
?ELT
ExperiencingDiscomfortInTheStomach
)
(
experiencer
?ELT ?A))
(
exists
(?P ?PAIN ?T)
(
and
(
instance
?P
Perception
)
(
during
(
WhenFn
?P)
(
WhenFn
?PAIN))
(
instance
?PAIN
Pain
)
(
experiencer
?PAIN ?A)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
instance
?T
Stomach
)
(
part
?T ?A))))
emotion.kif 1583-1597
Processus
est une
instance
de
ExperiencingDiscomfortInTheStomach
AutonomousAgent
exp
�rimente
processus
processus
processus
AIN and
objet
processus
est une
instance
de
perception
temps
d'existence de
processus
prend place
pendant
temps
d'existence de
processus
AIN
processus
AIN est une
instance
de
Pain
AutonomousAgent
exp
�rimente
processus
AIN
processus
est un
sous
-processus de
processus
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
objet
est une
instance
de
Stomach
objet
est une
partie
de
AutonomousAgent
(=>
(
and
(
instance
?ELT
ExperiencingHeatInCheeksOrChest
)
(
experiencer
?ELT ?A))
(
exists
(?P ?T)
(
and
(
instance
?P
Perception
)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
or
(
instance
?T
Torso
)
(
instance
?T
Face
))
(
part
?T ?A))))
emotion.kif 1738-1751
Processus
est une
instance
de
ExperiencingHeatInCheeksOrChest
AutonomousAgent
exp
�rimente
processus
processus
objet
processus
est une
instance
de
perception
processus
est un
sous
-processus de
processus
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
objet
est une
instance
de
Torso
objet
est une
instance
de
Face
objet
est une
partie
de
AutonomousAgent
(=>
(
and
(
instance
?ENTER
Matriculation
)
(
agent
?ENTER ?COLLEGE)
(
patient
?ENTER ?STUDENT)
(
instance
?COLLEGE
College
))
(
exists
(?GRAD ?SCHOOL)
(
and
(
instance
?GRAD
Graduation
)
(
agent
?GRAD ?SCHOOL)
(
patient
?GRAD ?STUDENT)
(
instance
?SCHOOL
HighSchool
)
(
earlier
(
WhenFn
?GRAD)
(
WhenFn
?ENTER)))))
Mid-level-ontology.kif 16671-16683
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
HighSchool
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?A)
(
experiencer
?EV ?P))
(
exists
(?C ?CA)
(
and
(
instance
?C
Classifying
)
(
subProcess
?C ?EV)
(
experiencer
?C ?P)
(
or
(
subOrganization
?CA ?A)
(
member
?CA ?A)
(
equal
?CA ?A))
(
agent
?C ?CA))))
MilitaryProcesses.kif 2609-2623
Processus
est une
instance
de
Evacuation
processus
est un
agent
de
organisation
AutonomousAgent
exp
�rimente
processus
processus
processus
A
processus
est une
instance
de
classifier
processus
est un
sous
-processus de
processus
AutonomousAgent
exp
�rimente
processus
processus
A est une partie de l'organization
organisation
processus
A est un
membre
de
organisation
processus
A est
organisation
processus
est un
agent
de
processus
A
(=>
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?A)
(
origin
?EV ?O))
(
exists
(?T ?TA)
(
and
(
instance
?T
Translocation
)
(
subProcess
?T ?EV)
(
origin
?T ?O)
(
or
(
experiencer
?T ?TA)
(
agent
?T ?TA))
(
or
(
subOrganization
?TA ?A)
(
member
?TA ?A)
(
equal
?TA ?A)))))
MilitaryProcesses.kif 2627-2643
Processus
est une
instance
de
Evacuation
processus
est un
agent
de
organisation
processus
a pour
origine
objet
processus
processus
A
processus
est une
instance
de
Translocation
processus
est un
sous
-processus de
processus
processus
a pour
origine
objet
processus
A
exp
�rimente
processus
processus
est un
agent
de
processus
A
processus
A est une partie de l'organization
organisation
processus
A est un
membre
de
organisation
processus
A est
organisation
(=>
(
and
(
instance
?EV
Evacuation
)
(
experiencer
?EV ?P)
(
agent
?EV ?A))
(
exists
(?M ?MA)
(
and
(
instance
?M
TherapeuticProcess
)
(
subProcess
?M ?EV)
(
or
(
subOrganization
?MA ?A)
(
member
?MA ?A)
(
equal
?MA ?A))
(
agent
?M ?MA)
(
experiencer
?M ?P))))
MilitaryProcesses.kif 2591-2605
Processus
est une
instance
de
Evacuation
AutonomousAgent
exp
�rimente
processus
processus
est un
agent
de
organisation
processus
processus
A
processus
est une
instance
de
processus therapeutique
processus
est un
sous
-processus de
processus
processus
A est une partie de l'organization
organisation
processus
A est un
membre
de
organisation
processus
A est
organisation
processus
est un
agent
de
processus
A
AutonomousAgent
exp
�rimente
processus
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?O)
(
agent
?EV ?A))
(
exists
(?M ?MA)
(
and
(
instance
?M
Maintaining
)
(
eventLocated
?M ?O)
(
subProcess
?M ?EV)
(
or
(
subOrganization
?MA ?A)
(
member
?MA ?A)
(
equal
?MA ?A))
(
agent
?M ?MA))))
MilitaryProcesses.kif 2573-2587
Processus
est une
instance
de
Evacuation
processus
a pour
origine
objet
processus
est un
agent
de
organisation
processus
processus
A
processus
est une
instance
de
maintenir
eventLocated
processus
and
objet
processus
est un
sous
-processus de
processus
processus
A est une partie de l'organization
organisation
processus
A est un
membre
de
organisation
processus
A est
organisation
processus
est un
agent
de
processus
A
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?O)
(
agent
?EV ?A))
(
exists
(?T ?TA)
(
and
(
instance
?T
Transportation
)
(
destination
?T ?O)
(
or
(
subOrganization
?TA ?A)
(
member
?TA ?A)
(
equal
?TA ?A))
(
or
(
agent
?T ?TA)
(
patient
?T ?TA)))))
MilitaryProcesses.kif 2554-2569
Processus
est une
instance
de
Evacuation
processus
a pour
origine
objet
processus
est un
agent
de
organisation
processus
processus
A
processus
est une
instance
de
transporter
processus
aboutit
�
objet
processus
A est une partie de l'organization
organisation
processus
A est un
membre
de
organisation
processus
A est
organisation
processus
est un
agent
de
processus
A
processus
A est un
patient
de
processus
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?INTERVAL
TimeInterval
))
(
equal
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE
(
QualifyingPurchasesFn
?EXPERIMENT))
(
during
(
WhenFn
?PURCHASE) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?USER
(
and
(
member
?USER
(
TreatedUsersFn
?EXPERIMENT))
(
instance
?ACCESSING
AccessingWebPage
)
(
during
(
WhenFn
?ACCESSING) ?INTERVAL)
(
agent
?ACCESSING ?USER)))))
(
PPIFn
?EXPERIMENT ?INTERVAL)))
UXExperimentalTerms.kif 3095-3114
Experimenting
est une
instance
de
Experimenting
interval temporel
est une
instance
de
interval temporel
le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
+ le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est
PPIFn
Experimenting
and
interval temporel
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?INTERVAL
TimeInterval
))
(
equal
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE
(
QualifyingPurchasesFn
?EXPERIMENT)))))
(
CardinalityFn
(
KappaFn
?USER
(
and
(
member
?USER
(
TreatedUsersFn
?EXPERIMENT))
(
instance
?ACCESSING
AccessingWebPage
)
(
agent
?ACCESSING ?USER)))))
(
PPSFn
?EXPERIMENT)))
UXExperimentalTerms.kif 3056-3073
Experimenting
est une
instance
de
Experimenting
entit�
est une
instance
de
interval temporel
le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
+ le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est
PPSFn
Experimenting
(=>
(
and
(
instance
?F
(
FailureFn
?C))
(
agent
?F ?A))
(
and
(
desires
?A
(
exists
(?I)
(
and
(
instance
?I ?C)
(
agent
?I ?A))))
(
not
(
exists
(?I)
(
and
(
instance
?I ?C)
(
during
(
WhenFn
?I)
(
WhenFn
?F))
(
agent
?I ?A))))))
ComputingBrands.kif 4517-4532
Processus
est une
instance
de
FailureFn
processus intentionnel
processus
est un
agent
de
agent cognitif
agent cognitif
desire
processus
processus
est une
instance
de
processus intentionnel
processus
est un
agent
de
agent cognitif
processus
processus
est une
instance
de
processus intentionnel
temps
d'existence de
processus
prend place
pendant
temps
d'existence de
processus
processus
est un
agent
de
agent cognitif
(=>
(
and
(
instance
?F
Flexion
)
(
agent
?F ?A)
(
moves
?F ?BP))
(
not
(
exists
(?E)
(
and
(
instance
?E
Extension
)
(
equal
(
WhenFn
?E)
(
WhenFn
?F))
(
agent
?E ?A)
(
moves
?E ?BP)))))
Mid-level-ontology.kif 10634-10645
D�palcement
est une
instance
de
Flexion
d�palcement
est un
agent
de
AutonomousAgent
moves
d�palcement
and
objet
d�palcement
d�palcement
est une
instance
de
Extension
temps
d'existence de
d�palcement
est
temps
d'existence de
d�palcement
d�palcement
est un
agent
de
AutonomousAgent
moves
d�palcement
and
objet
(=>
(
and
(
instance
?FID
ForeignInternalDefense
)
(
agent
?FID ?MIL)
(
experiencer
?FID ?HN))
(
hasPurpose
?FID
(
exists
(?ORG ?LEARNING)
(
and
(
instance
?LEARNING
Learning
)
(
experiencer
?LEARNING ?ORG)
(
agent
?LEARNING ?MIL)
(
or
(
militaryOfArea
?ORG ?HN)
(
and
(
instance
?ORG
MilitaryForce
)
(
located
?ORG ?HN)))))))
MilitaryProcesses.kif 1960-1975
Processus
est une
instance
de
ForeignInternalDefense
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
exp
�rimente
processus
processus
a pour
but
entit�
entit�
entit�
est une
instance
de
apprendre
entit�
exp
�rimente
entit�
entit�
est un
agent
de
AutonomousAgent
militaryOfArea
entit�
and
AutonomousAgent
entit�
est une
instance
de
MilitaryForce
entit�
est
situ
� �
AutonomousAgent
(=>
(
and
(
instance
?FID
ForeignInternalDefense
)
(
agent
?FID ?MIL)
(
militaryOfArea
?MIL ?NATION))
(
exists
(?HN ?MAINTAIN)
(
and
(
experiencer
?FID ?HN)
(
instance
?HN
HostNation
)
(
not
(
equal
?HN ?NATION))
(
instance
?MAINTAIN
Maintaining
)
(
agent
?MAINTAIN ?HN))))
MilitaryProcesses.kif 1943-1955
Processus
est une
instance
de
ForeignInternalDefense
processus
est un
agent
de
MilitaryOrganization
militaryOfArea
MilitaryOrganization
and
secteur g�opolitique
AutonomousAgent
processus
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
est une
instance
de
HostNation
AutonomousAgent
est
secteur g�opolitique
processus
est une
instance
de
maintenir
processus
est un
agent
de
AutonomousAgent
(=>
(
and
(
instance
?GIVE
Giving
)
(
agent
?GIVE ?AGENT1)
(
destination
?GIVE ?AGENT2)
(
instance
?AGENT2
AutonomousAgent
)
(
patient
?GIVE ?OBJ))
(
exists
(?GET)
(
and
(
instance
?GET
Getting
)
(
agent
?GET ?AGENT2)
(
origin
?GET ?AGENT1)
(
patient
?GET ?OBJ))))
Merge.kif 11673-11685
Processus
est une
instance
de
donner
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
AutonomousAgent
AutonomousAgent
est une
instance
de
AutonomousAgent
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
obtenir
processus
est un
agent
de
AutonomousAgent
processus
a pour
origine
AutonomousAgent
entit�
est un
patient
de
processus
(=>
(
and
(
instance
?H
Man
)
(
attribute
?H
Mausaharati
)
(
instance
?D
Drumming
)
(
agent
?D ?H)
(
instance
?DAY
Day
)
(
instance
?S
Sunrise
)
(
during
?S ?DAY)
(
earlier
(
WhenFn
?D) ?S))
(
hasPurpose
?D
(
exists
(?P ?SUHUR ?WU)
(
and
(
instance
?WU
WakingUp
)
(
experiencer
?WU ?P)
(
instance
?SUHUR
Suhur
)
(
agent
?SUHUR ?P)
(
earlier
(
WhenFn
?WU)
(
WhenFn
?SUHUR))
(
during
(
WhenFn
?WU) ?DAY)
(
during
(
WhenFn
?SUHUR) ?DAY)))))
ArabicCulture.kif 65-84
AutonomousAgent
est une
instance
de
Man
Mausaharati
est un
attribut
de
AutonomousAgent
processus
est une
instance
de
Drumming
processus
est un
agent
de
AutonomousAgent
processus
AY est une
instance
de
jour
interval temporel
est une
instance
de
Sunrise
interval temporel
prend place
pendant
processus
AY
temps
d'existence de
processus
arrive
plus
t�t que
interval temporel
processus
a pour
but
entit�
interval temporel
UHUR and
entit�
entit�
est une
instance
de
WakingUp
entit�
exp
�rimente
entit�
interval temporel
UHUR est une
instance
de
Suhur
interval temporel
UHUR est un
agent
de
entit�
temps
d'existence de
entit�
arrive
plus
t�t que
temps
d'existence de
interval temporel
UHUR
temps
d'existence de
entit�
prend place
pendant
processus
AY
temps
d'existence de
interval temporel
UHUR prend place
pendant
processus
AY
(=>
(
and
(
instance
?HS
HeavySurf
)
(
instance
?PLACE
WaterArea
)
(
eventLocated
?HS ?PLACE))
(
exists
(?SWIM ?A)
(
and
(
instance
?SWIM
Swimming
)
(
instance
?A
Human
)
(
agent
?SWIM ?A)
(
eventLocated
?SWIM ?PLACE)
(
holdsDuring
(
WhenFn
?HS)
(
hazardous
?HS ?A)))))
Weather.kif 1579-1592
Processus
est une
instance
de
HeavySurf
objet
est une
instance
de
plan d'eau
eventLocated
processus
and
objet
processus
AutonomousAgent
processus
est une
instance
de
nager
AutonomousAgent
est une
instance
de
humain
processus
est un
agent
de
AutonomousAgent
eventLocated
processus
and
objet
hazardous
processus
and
AutonomousAgent
pendant
temps
d'existence de
processus
(=>
(
and
(
instance
?I
HealthInsuranceCompany
)
(
customer
?I ?C))
(
hasPurposeForAgent
?I
(
exists
(?D ?P)
(
and
(
or
(
instance
?D
DiagnosticProcess
)
(
instance
?D
TherapeuticProcess
))
(
experiencer
?D ?C)
(
instance
?P
Payment
)
(
agent
?P ?I)
(
refers
?P ?D))) ?C))
Mid-level-ontology.kif 7159-7172
Agent cognitif
est une
instance
de
HealthInsuranceCompany
customer
agent cognitif
and
AutonomousAgent
agent cognitif
a le
but
entit�
entit�
entit�
est une
instance
de
processus de diagnostique
entit�
est une
instance
de
processus therapeutique
AutonomousAgent
exp
�rimente
entit�
entit�
est une
instance
de
Payment
entit�
est un
agent
de
agent cognitif
entit�
inclut une
r
�f�rence �
entit�
pour
AutonomousAgent
(=>
(
and
(
instance
?I
InfectiousDisease
)
(
attribute
?A ?I))
(
exists
(?P ?O)
(
and
(
instance
?P
PathologicProcess
)
(
agent
?P ?O)
(
instance
?O
Microorganism
)
(
experiencer
?P ?A))))
Mid-level-ontology.kif 5830-5839
Attribut
est une
instance
de
InfectiousDisease
attribut
est un
attribut
de
AutonomousAgent
processus
AutonomousAgent
processus
est une
instance
de
processus pathologique
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est une
instance
de
microorganisme
AutonomousAgent
exp
�rimente
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
?J
Jailbreaking
)
(
instance
?D
Computer
)
(
instance
?D ?CLASS)
(
patient
?J ?D)
(
manufacturer
?CLASS ?C))
(
not
(
desires
?C
(
exists
(?A)
(
agent
?J ?A)))))
ComputingBrands.kif 3476-3486
Processus
est une
instance
de
Jailbreaking
entit�
est une
instance
de
Computer
entit�
est une
instance
de
objet
entit�
est un
patient
de
processus
manufacturer
objet
and
agent cognitif
agent cognitif
ne
desire
%n{pas}
entit�
processus
est un
agent
de
entit�
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