earlier
(=>
(
and
(
instance
?X
Argument
)
(
instance
?R
Reasoning
)
(
instance
?A
Archeology
)
(
subProposition
?X ?A)
(
realization
?R ?X))
(
exists
(?D ?S ?O ?T ?W ?L)
(
and
(
instance
?D
Discovering
)
(
instance
?O
Object
)
(
patient
?D ?O)
(
refers
?R ?D)
(
earlier
(
WhenFn
?D)
(
WhenFn
?R))
(
age
?O
(
MeasureFn
?T
YearDuration
))
(
greaterThan
?T 50)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
or
(
and
(
surface
?S ?W)
(
instance
?W
BodyOfWater
)
(
orientation
?O ?S
Below
))
(
and
(
surface
?S ?L)
(
instance
?L
LandArea
)
(
orientation
?O ?S
Below
)))))))
Mid-level-ontology.kif 21147-21177
Proposition
est une
instance
de
Argument
processus
est une
instance
de
raisonner
proposition
est une
instance
de
Archeology
proposition
est une
sous
-proposition de
proposition
processus
exprime
le contenu de
proposition
processus
entit�
,
physique
,
nombre r�el
,
entit�
and
entit�
processus
est une
instance
de
Discovering
physique
est une
instance
de
objet
physique
est un
patient
de
processus
processus
inclut une
r
�f�rence �
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
l'
physique
est
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
que 50
entit�
est une
surface
de
entit�
entit�
est une
instance
de
BodyOfWater
physique
est
Below
�
entit�
entit�
est une
surface
de
entit�
entit�
est une
instance
de
zone de terre
physique
est
Below
�
entit�
pendant
immediatement
avant
temps
d'existence de
processus
(=>
(
and
(
instance
?X
DutyTax
)
(
refers
?X ?OBJ)
(
patient
?X ?OBJ))
(
exists
(?T ?N1 ?N2)
(
and
(
instance
?T
Transfer
)
(
patient
?T ?OBJ)
(
origin
?T ?N1)
(
destination
?T ?N2)
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
not
(
equal
?N1 ?N2))
(
earlier
(
WhenFn
?T)
(
WhenFn
?X))
(
causes
?T ?X))))
FinancialOntology.kif 949-964
Processus
est une
instance
de
DutyTax
processus
inclut une
r
�f�rence �
entit�
entit�
est un
patient
de
processus
processus
objet
and
entit�
processus
est une
instance
de
transf�re
entit�
est un
patient
de
processus
processus
a pour
origine
objet
processus
aboutit
�
entit�
objet
est une
instance
de
nation
entit�
est une
instance
de
nation
objet
est
entit�
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
processus
cause
processus
(=>
(
and
(
instance
?X
ReadOnlyMemoryDataStorage
)
(
instance
?FABRICATION
Manufacture
)
(
result
?FABRICATION ?X))
(
not
(
modalAttribute
(
exists
(?WRITE1 ?DATA1 ?WRITE2)
(
and
(
or
(
instance
?WRITE2
ContentDevelopment
)
(
instance
?WRITE2
DeletingData
))
(
earlier
(
WhenFn
?FABRICATION)
(
WhenFn
?WRITE1))
(
patient
?WRITE1 ?X)
(
patient
?WRITE1 ?DATA1)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WRITE1))
(
stored
?DATA1 ?X))))
Possibility
)))
Media.kif 768-788
Entit�
est une
instance
de
ReadOnlyMemoryDataStorage
processus
est une
instance
de
manufacture
entit�
est le
resultat
de
processus
l'argument
entit�
entit�
and
entit�
entit�
est une
instance
de
d�veloppement de contenu
entit�
est une
instance
de
DeletingData
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
entit�
entit�
est un
patient
de
entit�
entit�
est un
patient
de
entit�
stored
entit�
and
entit�
pendant
immediatement
apr
�s
temps
d'existence de
entit�
n' %n{pas} la
force
modale
de
Possibility
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
greaterThan
?N2 ?N1))
(
earlier
?Y1 ?Y2))
Merge.kif 8699-8704
Interval temporel
est une
instance
de l'
ann
�e
nombre entier
interval temporel
est une
instance
de l'
ann
�e
nombre entier
nombre entier
est
plus
grand
que
nombre entier
interval temporel
arrive
plus
t�t que
interval temporel
(=>
(
and
(
lastStatement
?Account ?Statement)
(
instance
?Transaction1
FinancialTransaction
)
(
realization
?Statement ?Transaction1)
(
instance
?Transaction2
FinancialTransaction
)
(
not
(
realization
?Statement ?Transaction2)))
(
earlier
(
WhenFn
?Transaction2)
(
WhenFn
?Transaction1)))
FinancialOntology.kif 3907-3914
lastStatement
FinancialAccount
and
BankStatement
physique
est une
instance
de
financial transaction
BankStatement
exprime
le contenu de
physique
physique
est une
instance
de
financial transaction
BankStatement
n'
exprime
%n{pas} le contenu de
physique
temps
d'existence de
physique
arrive
plus
t�t que
temps
d'existence de
physique
(=>
(
and
(
newRegisteredUsers
?INT1 ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?INT2)
(
and
(
instance
?INT2
TimeInterval
)
(
earlier
?INT2 ?INT1)
(
holdsDuring
?INT2
(
registeredUser
?MEMBER ?SITE))))))
UXExperimentalTerms.kif 3640-3650
newRegisteredUsers
interval temporel
,
WebSite
and
collection
physique
est un
membre
de
collection
interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
registeredUser
physique
and
WebSite
pendant
interval temporel
(=>
(
and
(
processList
@ROW)
(
inList
?Process1
(
ListFn
@ROW))
(
inList
?Process2
(
ListFn
@ROW))
(
equal
(
ListOrderFn
(
ListFn
@ROW) ?Number1) ?Process1)
(
equal
(
ListOrderFn
(
ListFn
@ROW) ?Number2) ?Process2)
(
lessThan
?Number1 ?Number2))
(
earlier
(
WhenFn
?Process1)
(
WhenFn
?Process2)))
QoSontology.kif 694-710
processList
@ROW
physique
est un
membre
de (@ROW)
physique
est un
membre
de (@ROW)
entit�
physique
entit�
physique
nombre entier positif
est
moins
que
nombre entier positif
temps
d'existence de
physique
arrive
plus
t�t que
temps
d'existence de
physique
(=>
(
and
(
softwareVersion
?COM
CurrentVersion
)
(
instance
?P2
ComputerProgramming
)
(
patient
?P2 ?COM))
(
exists
(?P1)
(
and
(
instance
?P1
ComputerProgramming
)
(
not
(
equal
?P1 ?P2))
(
earlier
(
WhenFn
?P1)
(
WhenFn
?P2))
(
patient
?P1 ?COM)
(
softwareVersion
?COM
PreviousVersion
))))
ComputingBrands.kif 3870-3882
softwareVersion
programme d'ordinateur
and
CurrentVersion
processus
est une
instance
de
ComputerProgramming
programme d'ordinateur
est un
patient
de
processus
processus
processus
est une
instance
de
ComputerProgramming
processus
est
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
programme d'ordinateur
est un
patient
de
processus
softwareVersion
programme d'ordinateur
and
PreviousVersion
(=>
(
and
(
viewedItemList
?USER ?LIST)
(
instance
?ACCESSING
AccessingWebPage
)
(
equal
(
FirstFn
?LIST) ?ACCESSING))
(
not
(
exists
(?ACCESSING2)
(
and
(
instance
?ACCESSING2
AccessingWebPage
)
(
agent
?ACCESSING2 ?USER)
(
earlier
(
WhenFn
?ACCESSING2)
(
WhenFn
?ACCESSING))))))
UXExperimentalTerms.kif 783-797
viewedItemList
AutonomousAgent
and
liste
physique
est une
instance
de
AccessingWebPage
FirstFn
liste
est
physique
physique
2
physique
2 est une
instance
de
AccessingWebPage
physique
2 est un
agent
de
AutonomousAgent
temps
d'existence de
physique
2 arrive
plus
t�t que
temps
d'existence de
physique
(=>
(
and
(
viewedItemList
?USER ?LIST)
(
instance
?ACCESSING1
AccessingWebPage
)
(
instance
?ACCESSING2
AccessingWebPage
)
(
agent
?ACCESSING1 ?USER)
(
agent
?ACCESSING2 ?USER)
(
instance
?INDEX1
PositiveInteger
)
(
instance
?INDEX2
PositiveInteger
)
(
equal
(
ListOrderFn
?LIST ?INDEX1) ?ACCESSING1)
(
equal
(
ListOrderFn
?LIST ?INDEX2) ?ACCESSING2)
(
greaterThan
?INDEX1 ?INDEX2))
(
earlier
(
WhenFn
?ACCESSING2)
(
WhenFn
?ACCESSING1)))
UXExperimentalTerms.kif 799-817
viewedItemList
AutonomousAgent
and
liste
processus
est une
instance
de
AccessingWebPage
processus
est une
instance
de
AccessingWebPage
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
nombre entier positif
est une
instance
de
nombre entier positif
nombre entier positif
est une
instance
de
nombre entier positif
nombre entier positif
th
liste
est
processus
nombre entier positif
th
liste
est
processus
nombre entier positif
est
plus
grand
que
nombre entier positif
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
attribute
?D
DeviceDamaged
)
(
exists
(?DAM)
(
and
(
instance
?DAM
Damaging
)
(
patient
?DAM ?D)
(
not
(
exists
(?R)
(
and
(
instance
?R
Repairing
)
(
patient
?R ?D)
(
earlier
(
WhenFn
?DAM)
(
WhenFn
?R))))))))
Mid-level-ontology.kif 29445-29456
DeviceDamaged
est un
attribut
de
objet
objet
AM
objet
AM est une
instance
de
endommager
objet
est un
patient
de
objet
AM
processus
processus
est une
instance
de
r�parer
objet
est un
patient
de
processus
temps
d'existence de
objet
AM arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
attribute
?D
DeviceNormal
)
(
not
(
exists
(?DAM)
(
and
(
instance
?DAM
Damaging
)
(
patient
?DAM ?D)
(
not
(
exists
(?R)
(
and
(
instance
?R
Repairing
)
(
patient
?R ?D)
(
earlier
(
WhenFn
?DAM)
(
WhenFn
?R)))))))))
Mid-level-ontology.kif 29417-29429
DeviceNormal
est un
attribut
de
objet
objet
AM
objet
AM est une
instance
de
endommager
objet
est un
patient
de
objet
AM
processus
processus
est une
instance
de
r�parer
objet
est un
patient
de
processus
temps
d'existence de
objet
AM arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
attribute
?H
Bulimia
)
(
exists
(?E ?P)
(
and
(
instance
?E
Eating
)
(
or
(
instance
?P
Vomiting
)
(
instance
?P
Defecating
))
(
agent
?P ?H)
(
wants
?H ?P)
(
earlier
(
WhenFn
?E)
(
WhenFn
?P)))))
Medicine.kif 5010-5022
Bulimia
est un
attribut
de
agent cognitif
physique
processus
physique
est une
instance
de
manger
processus
est une
instance
de
Vomiting
processus
est une
instance
de
Defecating
processus
est un
agent
de
agent cognitif
agent cognitif
veut
processus
temps
d'existence de
physique
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
attribute
?X
Locked
)
(
exists
(?LOCK ?CLOSE ?MOVE)
(
and
(
instance
?LOCK
Lock
)
(
connected
?LOCK ?X)
(
instance
?CLOSE
Closing
)
(
patient
?CLOSE ?LOCK)
(
instance
?MOVE
Motion
)
(
earlier
(
WhenFn
?CLOSE)
(
WhenFn
(
attribute
?X
Locked
)))
(
holdsDuring
(
WhenFn
(
attribute
?X
Locked
))
(
not
(
modalAttribute
(
patient
?MOVE ?X)
Possibility
))))))
Mid-level-ontology.kif 2698-2714
Locked
est un
attribut
de
objet
objet
processus
and
entit�
objet
est une
instance
de
Lock
objet
est
connect
� �
objet
processus
est une
instance
de
Closing
objet
est un
patient
de
processus
entit�
est une
instance
de
d�palcement
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
Locked
est un
attribut
de
objet
l'argument
objet
est un
patient
de
entit�
n' %n{pas} la
force
modale
de
Possibility
pendant
temps
d'existence de
Locked
est un
attribut
de
objet
(=>
(
before
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
earlier
?INTERVAL1 ?INTERVAL2))
Merge.kif 8382-8384
La
fin
de
interval temporel
se produit
avant
le
d
�but de
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
(=>
(
causes
?P1 ?P2)
(
earlier
(
WhenFn
?P1)
(
WhenFn
?P2)))
Merge.kif 3795-3797
Processus
cause
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME1 ?TIME2)
(=>
(
and
(
instance
?TIME1 ?CLASS)
(
instance
?TIME2 ?CLASS)
(
not
(
equal
?TIME1 ?TIME2)))
(
or
(
meetsTemporally
?TIME1 ?TIME2)
(
meetsTemporally
?TIME2 ?TIME1)
(
earlier
?TIME1 ?TIME2)
(
earlier
?TIME2 ?TIME1)))))
Merge.kif 9395-9407
Decomposition
de
interval temporel
en
interval temporel
TYPEs est
interval temporel
interval temporel
interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
est
interval temporel
interval temporel
rencontre
interval temporel
interval temporel
rencontre
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
(=>
(
exclusiveEvent
?EXP ?PROC)
(
exists
(?EVP ?AGENT)
(
and
(
instance
?EVP
Process
)
(
instance
?AGENT
AutonomousAgent
)
(
treatedUser
?AGENT ?EXP)
(
experimentalVariableProcess
?EXP ?EVP)
(
experiencer
?PROC ?AGENT)
(
experiencer
?EVP ?AGENT)
(
earlier
(
WhenFn
?EVP)
(
WhenFn
?PROC)))))
UXExperimentalTerms.kif 4345-4355
exclusiveEvent
Experimenting
and
processus
processus
humain
processus
est une
instance
de
processus
humain
est une
instance
de
AutonomousAgent
treatedUser
humain
and
Experimenting
experimentalVariableProcess
Experimenting
and
processus
humain
exp
�rimente
processus
humain
exp
�rimente
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
holdsDuring
?NOW
(
attribute
?P
Prisoner
))
(
exists
(?BEFORE ?IMPRISONING)
(
and
(
instance
?IMPRISONING
Imprisoning
)
(
earlier
?BEFORE ?NOW)
(
holdsDuring
?BEFORE
(
detainee
?IMPRISONING ?P)))))
MilitaryPersons.kif 242-250
Prisoner
est un
attribut
de
entit�
pendant
interval temporel
interval temporel
entit�
entit�
est une
instance
de
Imprisoning
interval temporel
arrive
plus
t�t que
interval temporel
detainee
entit�
and
entit�
pendant
interval temporel
(=>
(
holdsDuring
?NOW
(
attribute
?P
Widowed
))
(
and
(
exists
(?BEFORE ?SPOUSE)
(
and
(
earlier
?BEFORE ?NOW)
(
holdsDuring
?BEFORE
(
spouse
?SPOUSE ?P))
(
holdsDuring
?NOW
(
attribute
?SPOUSE
Dead
))))
(
not
(
exists
(?OTHER)
(
holdsDuring
?NOW
(
spouse
?OTHER ?P))))))
Mid-level-ontology.kif 22307-22321
Widowed
est un
attribut
de
entit�
pendant
interval temporel
interval temporel
entit�
interval temporel
arrive
plus
t�t que
interval temporel
spouse
entit�
and
entit�
pendant
interval temporel
Dead
est un
attribut
de
entit�
pendant
interval temporel
entit�
spouse
entit�
and
entit�
pendant
interval temporel
(=>
(
holdsDuring
?T
(
attribute
?H
PostTraumaticStressDisorder
))
(
exists
(?V)
(
and
(
instance
?V
ViolentContest
)
(
earlier
(
WhenFn
?V) ?T)
(
involvedInEvent
?V ?H))))
Mid-level-ontology.kif 9747-9755
PostTraumaticStressDisorder
est un
attribut
de
entit�
pendant
interval temporel
processus
processus
est une
instance
de
affrontement violent
temps
d'existence de
processus
arrive
plus
t�t que
interval temporel
involvedInEvent
processus
and
entit�
(=>
(
holdsDuring
?T
(
attribute
?H
Reinfection
))
(
and
(
holdsDuring
?T
(
and
(
instance
?D
InfectiousDisease
)
(
attribute
?H ?D)))
(
holdsDuring
?TEARLY
(
attribute
?H ?D))
(
earlier
?TEARLY ?T)))
Medicine.kif 5308-5318
Reinfection
est un
attribut
de
entit�
pendant
interval temporel
entit�
est une
instance
de
InfectiousDisease
entit�
est un
attribut
de
entit�
pendant
interval temporel
entit�
est un
attribut
de
entit�
pendant
interval temporel
EARLY
interval temporel
EARLY arrive
plus
t�t que
interval temporel
(=>
(
holdsDuring
?T
(
attribute
?O
Undamaged
))
(
not
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
patient
?D ?O)
(
earlier
(
WhenFn
?D) ?T)))))
Mid-level-ontology.kif 30194-30202
Undamaged
est un
attribut
de
entit�
pendant
interval temporel
processus
processus
est une
instance
de
endommager
entit�
est un
patient
de
processus
temps
d'existence de
processus
arrive
plus
t�t que
interval temporel
(=>
(
holdsDuring
?T
(
attribute
?P
BereavedFather
))
(
exists
(?BEFORE ?C)
(
and
(
earlier
?BEFORE ?T)
(
holdsDuring
?BEFORE
(
father
?P ?C))
(
holdsDuring
?T
(
attribute
?C
Dead
)))))
ArabicCulture.kif 760-766
BereavedFather
est un
attribut
de
entit�
pendant
interval temporel
interval temporel
entit�
interval temporel
arrive
plus
t�t que
interval temporel
entit�
est le
p
�re de
entit�
pendant
interval temporel
Dead
est un
attribut
de
entit�
pendant
interval temporel
(=>
(
holdsDuring
?T
(
attribute
?P
BereavedMother
))
(
exists
(?BEFORE ?C)
(
and
(
earlier
?BEFORE ?T)
(
holdsDuring
?BEFORE
(
mother
?P ?C))
(
holdsDuring
?T
(
attribute
?C
Dead
)))))
ArabicCulture.kif 774-780
BereavedMother
est un
attribut
de
entit�
pendant
interval temporel
interval temporel
entit�
interval temporel
arrive
plus
t�t que
interval temporel
entit�
est la
m
�re de
entit�
pendant
interval temporel
Dead
est un
attribut
de
entit�
pendant
interval temporel
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