earlier
(=>
(
and
(
instance
?IMPACT
Impacting
)
(
patient
?IMPACT ?OBJ))
(
exists
(?IMPEL)
(
and
(
instance
?IMPEL
Impelling
)
(
patient
?IMPEL ?OBJ)
(
earlier
(
WhenFn
?IMPEL)
(
WhenFn
?IMPACT)))))
Merge.kif 11539-11547
Processus
est une
instance
de
impacte
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
propulser
entit�
est un
patient
de
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
and
(
instance
?IMPRISON
Imprisoning
)
(
detainee
?IMPRISON ?AGENT)
(
instance
?AGENT
Human
)
(
time
?IMPRISON ?INTERVAL)
(
instance
?INTERVAL
TimeInterval
))
(
exists
(?ARREST ?TIME)
(
and
(
instance
?TIME
TimeInterval
)
(
time
?ARREST ?TIME)
(
earlier
?TIME ?INTERVAL)
(
instance
?ARREST
PlacingUnderArrest
)
(
arrested
?ARREST ?AGENT))))
Mid-level-ontology.kif 23513-23526
Confiner
est une
instance
de
Imprisoning
detainee
confiner
and
animal
animal
est une
instance
de
humain
confiner
existe
pendant
interval temporel
interval temporel
est une
instance
de
interval temporel
PlacingUnderArrest
interval temporel
interval temporel
est une
instance
de
interval temporel
PlacingUnderArrest
existe
pendant
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
PlacingUnderArrest
est une
instance
de
PlacingUnderArrest
arrested
PlacingUnderArrest
and
animal
(=>
(
and
(
instance
?INHERIT
Inheriting
)
(
agent
?INHERIT ?HEIR)
(
origin
?INHERIT ?PERSON)
(
patient
?INHERIT ?PROPERTY))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?PERSON)
(
earlier
(
WhenFn
?DEATH)
(
WhenFn
?INHERIT))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEATH))
(
possesses
?PERSON ?PROPERTY))
(
confersRight
(
possesses
?HEIR ?PROPERTY) ?PERSON ?HEIR))))
Mid-level-ontology.kif 18621-18639
Processus
est une
instance
de
Inheriting
processus
est un
agent
de
agent cognitif
processus
a pour
origine
AutonomousAgent
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
mort
AutonomousAgent
exp
�rimente
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
AutonomousAgent
poss
�de
entit�
pendant
immediatement
avant
temps
d'existence de
processus
AutonomousAgent
autorise
agent cognitif
� ex�cut� des t�ches du type
agent cognitif
poss
�de
entit�
(=>
(
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
(?NEWREGISTRATIONS)
(
and
(
instance
?NEWREGISTRATIONS
Collection
)
(
forall
(?USER)
(=>
(
and
(
instance
?USER
Human
)
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
registeredUser
?USER ?SITE)))))
(
exists
(?INTERVAL_DURING)
(
and
(
instance
?INTERVAL_DURING
TimeInterval
)
(
during
?INTERVAL_DURING ?INTERVAL)
(
holdsDuring
?INTERVAL
(
registeredUser
?USER ?SITE)))))
(
member
?USER ?NEWREGISTRATIONS)))
(
equal
?NEWREGISTRATIONS
(
SiteWideNewRegistrationsFn
?INTERVAL ?SITE)))))
UXExperimentalTerms.kif 3428-3455
Interval temporel
est une
instance
de
interval temporel
WebSite
est une
instance
de
WebSite
collection
collection
est une
instance
de
collection
physique
physique
est une
instance
de
humain
interval temporel
_BEFORE
interval temporel
_BEFORE est une
instance
de
interval temporel
interval temporel
_BEFORE arrive
plus
t�t que
interval temporel
registeredUser
physique
and
WebSite
pendant
interval temporel
_BEFORE
interval temporel
_DURING
interval temporel
_DURING est une
instance
de
interval temporel
interval temporel
_DURING prend place
pendant
interval temporel
registeredUser
physique
and
WebSite
pendant
interval temporel
physique
est un
membre
de
collection
collection
est
SiteWideNewRegistrationsFn
interval temporel
and
WebSite
(=>
(
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
?IV
InvasiveVentilator
)
(
instance
?B
Breathing
)
(
experiencer
?B ?H)
(
instrument
?B ?IV))
(
exists
(?IN)
(
and
(
instance
?IN
Intubation
)
(
destination
?IN ?H)
(
earlier
(
WhenFn
?IN)
(
WhenFn
?B)))))
Medicine.kif 4105-4117
Objet
est une
instance
de
InvasiveVentilator
processus
est une
instance
de
respirer
AutonomousAgent
exp
�rimente
processus
objet
est un
instrument
pour
processus
processus
processus
est une
instance
de
Intubation
processus
aboutit
�
AutonomousAgent
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
and
(
instance
?JOIN
Hiring
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?ORG)
(
patient
?JOIN ?PERSON))
(
expects
?ORG
(
exists
(?FT)
(
and
(
instance
?FT
FinancialTransaction
)
(
agent
?FT ?ORG)
(
destination
?FT ?PERSON)
(
earlier
(
WhenFn
?JOIN)
(
WhenFn
?FT))))))
Merge.kif 10631-10643
Processus
est une
instance
de
engager
agent cognitif
est une
instance
de
organisation
processus
est un
agent
de
agent cognitif
entit�
est un
patient
de
processus
expects
agent cognitif
and
entit�
entit�
est une
instance
de
financial transaction
entit�
est un
agent
de
agent cognitif
entit�
aboutit
�
entit�
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
entit�
(=>
(
and
(
instance
?KEEP
Keeping
)
(
agent
?KEEP ?AGENT)
(
patient
?KEEP ?OBJ))
(
exists
(?PUT)
(
and
(
instance
?PUT
Putting
)
(
agent
?PUT ?AGENT)
(
patient
?PUT ?OBJ)
(
earlier
(
WhenFn
?PUT)
(
WhenFn
?KEEP)))))
Merge.kif 12178-12188
Processus
est une
instance
de
garder
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
mettre
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
and
(
instance
?M
MoveToEvac
)
(
objectTransferred
?M ?P))
(
hasPurpose
?M
(
exists
(?E)
(
and
(
instance
?E
Evacuation
)
(
objectTransferred
?E ?P)
(
earlier
(
WhenFn
?M)
(
WhenFn
?E))))))
Medicine.kif 6532-6543
Transf�re
est une
instance
de
MoveToEvac
objectTransferred
transf�re
and
objet
transf�re
a pour
but
entit�
entit�
est une
instance
de
Evacuation
objectTransferred
entit�
and
objet
temps
d'existence de
transf�re
arrive
plus
t�t que
temps
d'existence de
entit�
(=>
(
and
(
instance
?M1
(
MonthFn
?N1
(
YearFn
?Y)))
(
instance
?M2
(
MonthFn
?N2
(
YearFn
?Y)))
(
successorClass
?N1 ?N2))
(
earlier
?M1 ?M2))
Merge.kif 8715-8720
Interval temporel
est une
instance
de le
moi
mois
interval temporel
est une
instance
de le
moi
mois
successorClass
mois
and
mois
interval temporel
arrive
plus
t�t que
interval temporel
(=>
(
and
(
instance
?PLAN
Plan
)
(
instance
?PROC
Process
)
(
represents
?PLAN ?PROC))
(
exists
(?PLANNING ?CBO)
(
and
(
instance
?PLANNING
Planning
)
(
instance
?CBO
ContentBearingPhysical
)
(
containsInformation
?CBO ?PLAN)
(
result
?PLANNING ?CBO)
(
earlier
(
BeginFn
(
WhenFn
?PLANNING))
(
BeginFn
(
WhenFn
?PROC)))
(
earlier
(
EndFn
(
WhenFn
?PLANNING))
(
EndFn
(
WhenFn
?PROC))))))
Military.kif 32-44
Proposition
est une
instance
de
plan
physique
est une
instance
de
processus
proposition
d
�finie
physique
proposition
NING
ContentBearingPhysical
proposition
NING est une
instance
de
planifier
ContentBearingPhysical
est une
instance
de
ContentBearingPhysical
ContentBearingPhysical
contient
information
proposition
ContentBearingPhysical
est le
resultat
de
proposition
NING le
d
�but de
temps
d'existence de
proposition
NING arrive
plus
t�t que le
d
�but de
temps
d'existence de
physique
la
fin
de
temps
d'existence de
proposition
NING arrive
plus
t�t que la
fin
de
temps
d'existence de
physique
(=>
(
and
(
instance
?PREDICT
Predicting
)
(
patient
?PREDICT ?FORMULA))
(
exists
(?TIME)
(
and
(
holdsDuring
?TIME ?FORMULA)
(
earlier
?TIME
(
WhenFn
?PREDICT)))))
Merge.kif 12149-12156
Processus
est une
instance
de
predire
formule
est un
patient
de
processus
interval temporel
formule
pendant
interval temporel
interval temporel
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
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
?PSR
PoststrikeReconnaissance
)
(
patient
?PSR ?OBJ))
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
patient
?ATTACK ?OBJ)
(
earlier
(
WhenFn
?ATTACK)
(
WhenFn
?PSR)))))
MilitaryProcesses.kif 121-129
Processus
est une
instance
de
PoststrikeReconnaissance
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
Attack
entit�
est un
patient
de
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
and
(
instance
?REM
OrganismRemains
)
(
holdsDuring
(
WhenFn
?REM)
(
part
?OBJ ?REM)))
(
exists
(?ORG)
(
and
(
instance
?ORG
Organism
)
(
earlier
(
WhenFn
?ORG)
(
WhenFn
?REM))
(
finishes
(
WhenFn
?REM)
(
WhenFn
?ORG))
(
holdsDuring
(
WhenFn
?ORG)
(
part
?OBJ ?ORG)))))
Mid-level-ontology.kif 45-56
Physique
est une
instance
de
OrganismRemains
entit�
est une
partie
de
physique
pendant
temps
d'existence de
physique
physique
physique
est une
instance
de
organisme
temps
d'existence de
physique
arrive
plus
t�t que
temps
d'existence de
physique
temps
d'existence de
physique
finit
temps
d'existence de
physique
entit�
est une
partie
de
physique
pendant
temps
d'existence de
physique
(=>
(
and
(
instance
?REMEMBER
Remembering
)
(
patient
?REMEMBER ?FORMULA))
(
exists
(?TIME)
(
and
(
holdsDuring
?TIME ?FORMULA)
(
or
(
before
?TIME
(
WhenFn
?REMEMBER))
(
earlier
?TIME
(
WhenFn
?REMEMBER))))))
Merge.kif 12163-12172
Processus
est une
instance
de
se rappeler
formule
est un
patient
de
processus
interval temporel
formule
pendant
interval temporel
interval temporel
se produit
avant
temps
d'existence de
processus
interval temporel
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
and
(
instance
?REPAIR
Repairing
)
(
patient
?REPAIR ?OBJ))
(
exists
(?DAMAGE)
(
and
(
instance
?DAMAGE
Damaging
)
(
patient
?DAMAGE ?OBJ)
(
earlier
(
WhenFn
?DAMAGE)
(
WhenFn
?REPAIR)))))
Merge.kif 12229-12237
Processus
est une
instance
de
r�parer
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
endommager
entit�
est un
patient
de
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
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 11763-11773
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
?RETURN
Returning
)
(
experiencer
?RETURN ?AGENT)
(
destination
?RETURN ?DEST))
(
exists
(?TIME)
(
and
(
earlier
?TIME
(
WhenFn
?RETURN))
(
holdsDuring
?TIME
(
located
?AGENT ?DEST)))))
Mid-level-ontology.kif 17266-17274
Processus
est une
instance
de
Returning
AutonomousAgent
exp
�rimente
processus
processus
aboutit
�
entit�
interval temporel
interval temporel
arrive
plus
t�t que
temps
d'existence de
processus
AutonomousAgent
est
situ
� �
entit�
pendant
interval temporel
(=>
(
and
(
instance
?Reusing
ReusingAResource
)
(
resourceUsed
?Reusing ?Resource))
(
exists
(?Using)
(
and
(
instance
?Using
UsingAResource
)
(
resourceUsed
?Using ?Resource)
(
earlier
(
WhenFn
?Using)
(
WhenFn
?Reusing)))))
QoSontology.kif 1981-1989
ComputerProcess
est une
instance
de
ReusingAResource
resourceUsed
ComputerProcess
and
ComputerResource
ComputerProcess
ComputerProcess
est une
instance
de
UsingAResource
resourceUsed
ComputerProcess
and
ComputerResource
temps
d'existence de
ComputerProcess
arrive
plus
t�t que
temps
d'existence de
ComputerProcess
(=>
(
and
(
instance
?S
Sentencing
)
(
patient
?S ?P))
(
exists
(?C)
(
and
(
causes
?C ?S)
(
instance
?C
LegalConviction
)
(
patient
?C ?P)
(
earlier
(
WhenFn
?C)
(
WhenFn
?S)))))
Mid-level-ontology.kif 16250-16259
Processus
est une
instance
de
Sentencing
entit�
est un
patient
de
processus
processus
processus
cause
processus
processus
est une
instance
de
LegalConviction
entit�
est un
patient
de
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
and
(
instance
?SEO
SEO
)
(
patient
?SEO ?PAGE))
(
hasPurpose
?SEO
(
exists
(?SRPRESULT_BEFORE ?SRPRESULT_AFTER ?BEFORE ?AFTER ?BM1 ?BM2)
(
and
(
instance
?SRPRESULT_BEFORE
SRPResults
)
(
instance
?SRPRESULT_AFTER
SRPResults
)
(
equal
?PAGE
(
ListOrderFn
?SRPRESULT_BEFORE ?BEFORE))
(
equal
?PAGE
(
ListOrderFn
?SRPRESULT_AFTER ?AFTER))
(
instance
?BM1
BestMatchAlgorithm
)
(
instance
?BM2
BestMatchAlgorithm
)
(
earlier
(
WhenFn
?BM1)
(
WhenFn
?BM2))
(
earlier
(
WhenFn
?SEO)
(
WhenFn
?BM2))
(
earlier
(
WhenFn
?BM1)
(
WhenFn
?SEO))
(
greaterThan
?BEFORE ?AFTER)))))
UXExperimentalTerms.kif 2388-2404
Processus
est une
instance
de
SEO
entit�
est un
patient
de
processus
processus
a pour
but
entit�
_BEFORE
entit�
_AFTER,
entit�
,
entit�
,
entit�
and
entit�
entit�
_BEFORE est une
instance
de
SRPResults
entit�
_AFTER est une
instance
de
SRPResults
entit�
est
entit�
th
entit�
_BEFORE
entit�
est
entit�
th
entit�
_AFTER
entit�
est une
instance
de
BestMatchAlgorithm
entit�
est une
instance
de
BestMatchAlgorithm
temps
d'existence de
entit�
arrive
plus
t�t que
temps
d'existence de
entit�
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
entit�
temps
d'existence de
entit�
arrive
plus
t�t que
temps
d'existence de
processus
entit�
est
plus
grand
que
entit�
(=>
(
and
(
instance
?U
SoftwareUnInstallation
)
(
equal
?T2
(
WhenFn
?U))
(
dataProcessed
?U ?P)
(
instance
?P
ComputerProgram
)
(
located
?U ?C))
(
exists
(?I ?T1)
(
and
(
instance
?I
SoftwareInstallation
)
(
equal
?T1
(
WhenFn
?I))
(
dataProcessed
?I ?P)
(
instance
?P
ComputerProgram
)
(
located
?I ?C)
(
earlier
?T1 ?T2))))
ComputingBrands.kif 3603-3617
ComputerProcess
est une
instance
de
SoftwareUnInstallation
interval temporel
est
temps
d'existence de
ComputerProcess
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
est une
instance
de
programme d'ordinateur
ComputerProcess
est
situ
� �
objet
ComputerProcess
interval temporel
ComputerProcess
est une
instance
de
SoftwareInstallation
interval temporel
est
temps
d'existence de
ComputerProcess
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
est une
instance
de
programme d'ordinateur
ComputerProcess
est
situ
� �
objet
interval temporel
arrive
plus
t�t que
interval temporel
(=>
(
and
(
instance
?W
Whiskey
)
(
instance
?D
Distilling
)
(
result
?D ?W)
(
resource
?DR ?W)
(
instance
?DR
Drinking
))
(
exists
(?C ?T ?H)
(
and
(
instance
?C
Cask
)
(
instance
?H
HoleRegion
)
(
hole
?H ?C)
(
holdsDuring
?T
(
partiallyFills
?W ?C))
(
earlier
?D ?T)
(
earlier
?T ?DR))))
Food.kif 3617-3632
Objet
est une
instance
de
Whiskey
interval temporel
est une
instance
de
Distilling
objet
est le
resultat
de
interval temporel
objet
est une
resource
pour
interval temporel
R
interval temporel
R est une
instance
de
boire
objet en une partie
interval temporel
and
trou
objet en une partie
est une
instance
de
Cask
trou
est une
instance
de
trou
trou
est un
trou
dans
objet en une partie
objet
remplie
partiellemnet
objet en une partie
pendant
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
R
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