WhenFn
(=>
(
and
(
instance
?MB
MeasuringBreathing
)
(
agent
?MB ?A)
(
instance
?L
Lung
)
(
part
?L ?P)
(
instance
?T
TimeInterval
)
(
during
?T
(
WhenFn
?MB))
(
duration
?T
MinuteDuration
)
(
patient
?MB ?P))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MB))
(
exists
(?BR)
(
knows
?A
(
breathingRate
?L ?T ?BR)))))
Medicine.kif 466-482
Processus
est une
instance
de
MeasuringBreathing
processus
est un
agent
de
AutonomousAgent
objet
est une
instance
de
Lung
objet
est une
partie
de
objet
interval temporel
est une
instance
de
interval temporel
interval temporel
prend place
pendant
temps
d'existence de
processus
la
dur
�� de
interval temporel
est
MinuteDuration
objet
est un
patient
de
processus
entit�
AutonomousAgent
conna
�t
breathingRate
objet
,
interval temporel
and
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
and
(
instance
?MC
MuscleRelaxing
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 10555-10570
Processus
est une
instance
de
MuscleRelaxing
entit�
est un
patient
de
processus
entit�
est une
instance
de
muscle
le
longueur
de
entit�
est
nombre r�el
entit�
(s)
pendant
immediatement
avant
temps
d'existence de
processus
le
longueur
de
entit�
est
nombre r�el
entit�
(s)
pendant
immediatement
apr
�s
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?MC
MuscularContraction
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N1 ?N2))
Mid-level-ontology.kif 10533-10548
Processus
est une
instance
de
MuscularContraction
entit�
est un
patient
de
processus
entit�
est une
instance
de
muscle
le
longueur
de
entit�
est
nombre r�el
entit�
(s)
pendant
immediatement
avant
temps
d'existence de
processus
le
longueur
de
entit�
est
nombre r�el
entit�
(s)
pendant
immediatement
apr
�s
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?MT
MusicalTone
)
(
soundFrequency
?MT
(
MeasureFn
?FREQ
Hertz
))
(
loudness
?MT
(
MeasureFn
?LLB
Decibel
))
(
located
?MT
(
WhereFn
?H
(
BeginFn
(
WhenFn
?MT))))
(
greaterThan
?LLIMIT ?LLB)
(
greaterThan
?LLB ?ULIMIT)
(
greaterThan
?FREQ 250)
(
greaterThan
8000 ?FREQ)
(
instance
?H
Human
)
(
instance
?L
Listening
)
(
agent
?L ?H))
(
hearingAcuity
?H
(
MeasureFn
?LLIMIT
Decibel
)
(
MeasureFn
?ULIMIT
Decibel
)))
Medicine.kif 1753-1773
MusicalTone
est une
instance
de
MusicalTone
soundFrequency
MusicalTone
and
nombre r�el
Hertz
(s)
loudness
MusicalTone
and
nombre r�el
Decibel
(s)
MusicalTone
est
situ
� � la place
o
�
humain
�tait � le
d
�but de
temps
d'existence de
MusicalTone
nombre r�el
est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
que 250 8000 est
plus
grand
que
nombre r�el
humain
est une
instance
de
humain
processus
est une
instance
de
Listening
processus
est un
agent
de
humain
hearingAcuity
humain
,
nombre r�el
Decibel
(s) and
nombre r�el
Decibel
(s)
(=>
(
and
(
instance
?O
Oxidation
)
(
patient
?O ?S)
(
holdsDuring
(
BeginFn
(
WhenFn
?O))
(
electronNumber
?S ?G)))
(
exists
(?L)
(
and
(
lessThan
?L ?G)
(
holdsDuring
(
EndFn
(
WhenFn
?O))
(
electronNumber
?S ?L)))))
Mid-level-ontology.kif 19583-19595
Processus
est une
instance
de
Oxidation
entit�
est un
patient
de
processus
electronNumber
entit�
and
nombre r�el
pendant
le
d
�but de
temps
d'existence de
processus
nombre r�el
nombre r�el
est
moins
que
nombre r�el
electronNumber
entit�
and
nombre r�el
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?Opening
OpeningAnAccount
)
(
eventLocated
?Opening ?Bank)
(
instance
?Bank
FinancialOrganization
)
(
agent
?Opening ?Agent)
(
equal
(
WhenFn
?Opening) ?OpeningTime))
(
exists
(?Account ?AccountPeriod)
(
and
(
agreementPeriod
?Account ?AccountPeriod)
(
meetsTemporally
?OpeningTime ?AccountPeriod)
(
instance
?Account
FinancialAccount
)
(
accountAt
?Account ?Bank)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 293-306
Processus
est une
instance
de
OpeningAnAccount
eventLocated
processus
and
FinancialOrganization
FinancialOrganization
est une
instance
de
FinancialOrganization
processus
est un
agent
de
agent cognitif
temps
d'existence de
processus
est
processus
Time
FinancialAccount
FinancialAccount
Period
agreementPeriod
FinancialAccount
and
FinancialAccount
Period
processus
Time
rencontre
FinancialAccount
Period
FinancialAccount
est une
instance
de
FinancialAccount
accountAt
FinancialAccount
and
FinancialOrganization
accountHolder
FinancialAccount
and
agent cognitif
(=>
(
and
(
instance
?PROCESS ?PROCESS_CLASS)
(
subclass
?PROCESS_CLASS
Process
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?PROCESS ?AGENT)
(
agent
?ACCESSING ?AGENT)
(
during
?PROCESS ?ACCESSING)
(
instance
?TIMETOFIRST
TimeInterval
)
(
not
(
exists
(?PROCESS2)
(
and
(
instance
?PROCESS2 ?PROCESS_CLASS)
(
agent
?PROCESS2 ?AGENT)
(
during
?PROCESS2 ?ACCESSING)
(
before
(
BeginFn
(
WhenFn
?PROCESS2))
(
BeginFn
(
WhenFn
?PROCESS))))))
(
equal
(
BeginFn
(
WhenFn
?ACCESSING))
(
BeginFn
(
WhenFn
?TIMETOFIRST)))
(
equal
(
BeginFn
(
WhenFn
?PROCESS))
(
EndFn
(
WhenFn
?TIMETOFIRST))))
(
equal
(
TTFxFn
?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))
UXExperimentalTerms.kif 1496-1518
Interval temporel
est une
instance
de
interval temporel
_CLASS
interval temporel
_CLASS est une
sous
-classe de
processus
AccessingWebPage
est une
instance
de
AccessingWebPage
AutonomousAgent
est une
instance
de
AutonomousAgent
interval temporel
est un
agent
de
AutonomousAgent
AccessingWebPage
est un
agent
de
AutonomousAgent
interval temporel
prend place
pendant
AccessingWebPage
physique
est une
instance
de
interval temporel
interval temporel
interval temporel
est une
instance
de
interval temporel
_CLASS
interval temporel
est un
agent
de
AutonomousAgent
interval temporel
prend place
pendant
AccessingWebPage
le
d
�but de
temps
d'existence de
interval temporel
se produit
avant
le
d
�but de
temps
d'existence de
interval temporel
le
d
�but de
temps
d'existence de
AccessingWebPage
est
d
�but de
temps
d'existence de
physique
le
d
�but de
temps
d'existence de
interval temporel
est
fin
de
temps
d'existence de
physique
TTFxFn
interval temporel
_CLASS and
AccessingWebPage
est
physique
(=>
(
and
(
instance
?Payment
Payment
)
(
origin
?Payment
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
transactionAmount
?Payment
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 408-424
Financial transaction
est une
instance
de
Payment
financial transaction
a pour
origine
CurrencyFn
FinancialAccount
FinancialAccount
est une
instance
de
FinancialAccount
transactionAmount
financial transaction
and
nombre r�el
unit� de mesure
(s)
currentAccountBalance
FinancialAccount
, immediatement
avant
temps
d'existence de
financial transaction
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
nombre r�el
+
nombre r�el
)
currentAccountBalance
FinancialAccount
, immediatement
apr
�s
temps
d'existence de
financial transaction
and
nombre r�el
unit� de mesure
(s)
(=>
(
and
(
instance
?Place
PlacingAnOrder
)
(
equal
(
WhenFn
?Place) ?Time))
(
exists
(?Order ?Period)
(
and
(
equal
(
WhenFn
?Order) ?Period)
(
meetsTemporally
?Time ?Period))))
FinancialOntology.kif 1952-1959
Physique
est une
instance
de
PlacingAnOrder
temps
d'existence de
physique
est
interval temporel
physique
interval temporel
temps
d'existence de
physique
est
interval temporel
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?R
ChemicalReduction
)
(
patient
?R ?S)
(
holdsDuring
(
BeginFn
(
WhenFn
?R))
(
electronNumber
?S ?L)))
(
exists
(?G)
(
and
(
greaterThan
?G ?L)
(
holdsDuring
(
EndFn
(
WhenFn
?R))
(
electronNumber
?S ?G)))))
Mid-level-ontology.kif 19565-19577
Processus
est une
instance
de
ChemicalReduction
entit�
est un
patient
de
processus
electronNumber
entit�
and
nombre r�el
pendant
le
d
�but de
temps
d'existence de
processus
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
electronNumber
entit�
and
nombre r�el
pendant
la
fin
de
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
?REVERSE
Reversing
)
(
patient
?REVERSE ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?REVERSE))
(
and
(
top
?TOP ?OBJ)
(
bottom
?BOTTOM ?OBJ))))
(
holdsDuring
(
EndFn
(
WhenFn
?REVERSE))
(
and
(
top
?BOTTOM ?OBJ)
(
bottom
?TOP ?OBJ))))
Mid-level-ontology.kif 17517-17522
Processus
est une
instance
de
Reversing
entit�
est un
patient
de
processus
le
dessus
de
entit�
est
entit�
l'
arri
�re de
entit�
est
entit�
pendant
le
d
�but de
temps
d'existence de
processus
le
dessus
de
entit�
est
entit�
l'
arri
�re de
entit�
est
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?SCO
SelfConnectedObject
)
(
instance
?C
Compressing
)
(
patient
?C ?SCO)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
measure
?SCO
(
MeasureFn
?N1 ?V)))
(
instance
?V
UnitOfVolume
)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
measure
?SCO
(
MeasureFn
?N2 ?V))))
(
greaterThan
?N1 ?N2))
Cars.kif 1987-1999
Entit�
est une
instance
de
objet en une partie
processus
est une
instance
de
Compressing
entit�
est un
patient
de
processus
la
mesure
de
entit�
est
nombre r�el
entit�
(s)
pendant
immediatement
avant
temps
d'existence de
processus
entit�
est une
instance
de
UnitOfVolume
la
mesure
de
entit�
est
nombre r�el
entit�
(s)
pendant
immediatement
apr
�s
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?SF
SpeakingAtAFasterRate
)
(
instance
?SS
SpeakingAtASlowerRate
)
(
instance
?U
UnitOfDuration
)
(
agent
?SF ?A)
(
agent
?SS ?A)
(
containsInformation
?SF ?I)
(
containsInformation
?SS ?I)
(
duration
(
WhenFn
?SF)
(
MeasureFn
?FAST ?U))
(
duration
(
WhenFn
?SS)
(
MeasureFn
?SLOW ?U)))
(
greaterThan
?FAST ?SLOW))
emotion.kif 2016-2029
Processus
est une
instance
de
SpeakingAtAFasterRate
processus
est une
instance
de
SpeakingAtASlowerRate
unit� de mesure
est une
instance
de
UnitOfDuration
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
processus
contient
information
proposition
processus
contient
information
proposition
la
dur
�� de
temps
d'existence de
processus
est
nombre r�el
unit� de mesure
(s) la
dur
�� de
temps
d'existence de
processus
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?SH1
Shaft
)
(
instance
?SH2
Shaft
)
(
not
(
equal
?SH1 ?SH2))
(
instance
?R1
Rotating
)
(
patient
?R1 ?SH1)
(
instance
?R2
Rotating
)
(
patient
?R2 ?SH2)
(
causes
?R1 ?R2)
(
instance
?CV
CVJoint
)
(
connectedEngineeringComponents
?R1 ?CV)
(
connectedEngineeringComponents
?R2 ?CV)
(
holdsDuring
(
WhenFn
?R1)
(
equal
?SH1
(
RotationFn
?N ?T))))
(
holdsDuring
(
WhenFn
?R2)
(
equal
?SH2
(
RotationFn
?N ?T))))
Cars.kif 2114-2133
Entit�
est une
instance
de
Shaft
entit�
est une
instance
de
Shaft
entit�
est
entit�
composant d'un appareil
est une
instance
de
Rotating
entit�
est un
patient
de
composant d'un appareil
composant d'un appareil
est une
instance
de
Rotating
entit�
est un
patient
de
composant d'un appareil
composant d'un appareil
cause
composant d'un appareil
composant d'un appareil
est une
instance
de
CVJoint
composant d'un appareil
est
connect
� �
composant d'un appareil
composant d'un appareil
est
connect
� �
composant d'un appareil
entit�
est
RotationFn
entit�
and
entit�
pendant
temps
d'existence de
composant d'un appareil
entit�
est
RotationFn
entit�
and
entit�
pendant
temps
d'existence de
composant d'un appareil
(=>
(
and
(
instance
?SS
SpeakingAShortUtterance
)
(
instance
?SL
SpeakingALongUtterance
)
(
instance
?U
UnitOfDuration
)
(
duration
(
WhenFn
?SS)
(
MeasureFn
?D1 ?U))
(
duration
(
WhenFn
?SL)
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
emotion.kif 2104-2113
Physique
est une
instance
de
SpeakingAShortUtterance
physique
est une
instance
de
SpeakingALongUtterance
unit� de mesure
est une
instance
de
UnitOfDuration
la
dur
�� de
temps
d'existence de
physique
est
nombre r�el
unit� de mesure
(s) la
dur
�� de
temps
d'existence de
physique
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?SUBLIMATION
Sublimation
)
(
patient
?SUBLIMATION ?OBJ)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?SUBLIMATION))
(
measure
?OBJ
(
MeasureFn
?X
Joule
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?SUBLIMATION))
(
measure
?OBJ
(
MeasureFn
?Y
Joule
))))
(
greaterThan
?Y ?X))
Geography.kif 7068-7082
Processus
est une
instance
de
Sublimation
entit�
est un
patient
de
processus
la
mesure
de
entit�
est
nombre r�el
Joule
(s)
pendant
immediatement
avant
temps
d'existence de
processus
la
mesure
de
entit�
est
nombre r�el
Joule
(s)
pendant
immediatement
apr
�s
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?SZ
SurfZone
)
(
significantWaveHeight
?SZ
(
WhenFn
?SZ)
(
MeasureFn
?X
FootLength
))
(
greaterThan
?X 8.0))
(
attribute
?SZ
RedFlagSwimmingCondition
))
Weather.kif 1398-1405
Plan d'eau
est une
instance
de
SurfZone
significantWaveHeight
plan d'eau
,
temps
d'existence de
plan d'eau
and
nombre r�el
FootLength
(s)
nombre r�el
est
plus
grand
que 8.0
RedFlagSwimmingCondition
est un
attribut
de
plan d'eau
(=>
(
and
(
instance
?T
TimePeriod
)
(
duration
?T
(
MeasureFn
?N
MinuteDuration
))
(
greaterThan
?N 5.0)
(
instance
?H
Human
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T)
(
patient
?B ?H)))))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
meetsTemporally
?T
(
WhenFn
?D))))
Likely
))
Medicine.kif 5997-6017
Interval temporel
est une
instance
de
TimePeriod
la
dur
�� de
interval temporel
est
nombre r�el
MinuteDuration
(s)
nombre r�el
est
plus
grand
que 5.0
entit�
est une
instance
de
humain
processus
processus
est une
instance
de
respirer
temps
d'existence de
processus
prend place
pendant
interval temporel
entit�
est un
patient
de
processus
l'argument
entit�
entit�
est une
instance
de
mort
entit�
exp
�rimente
entit�
interval temporel
rencontre
temps
d'existence de
entit�
a la
force
modale
de
Likely
(=>
(
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
?Uptick
Uptick
)
(
patient
?Uptick ?Stock)
(
equal
(
WhenFn
?Uptick) ?Time1)
(
instance
?U
UnitOfCurrency
)
(
price
?Stock
(
MeasureFn
?Price1 ?U) ?Time1))
(
exists
(?Transaction ?Time2 ?Price2)
(
and
(
instance
?Transaction
StockMarketTransaction
)
(
patient
?Transaction ?Stock)
(
equal
(
WhenFn
?Transaction) ?Time2)
(
meetsTemporally
?Time2 ?Time1)
(
price
?Stock
(
MeasureFn
?Price2 ?U) ?Time2)
(
lessThan
?Price2 ?Price1))))
FinancialOntology.kif 3212-3228
Processus
est une
instance
de
Uptick
physique
est un
patient
de
processus
temps
d'existence de
processus
est
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
price
physique
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
processus
AutonomousAgent
and
nombre r�el
processus
est une
instance
de
StockMarketTransaction
physique
est un
patient
de
processus
temps
d'existence de
processus
est
AutonomousAgent
AutonomousAgent
rencontre
AutonomousAgent
price
physique
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
nombre r�el
est
moins
que
nombre r�el
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?PURCHASES
Collection
)
(
subCollection
?PURCHASES ?VISITS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?VISITS)
(
instance
?MEMBER
AccessingWebPage
)))
(
forall
(?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?BUYING
Buying
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
member
?ACCESSING ?VISITS)
(
destination
?ACCESSING ?PAGE)
(
agent
?BUYING ?VISITOR)
(
agent
?ACCESSING ?VISITOR)
(
during
(
WhenFn
?BUYING)
(
WhenFn
?ACCESSING))
(
instrument
?BUYING ?PAGE))
(
member
?BUYING ?PURCHASES))))
(
exists
(?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL)
(
equal
(
SCRFn
?VISITS ?INTERVAL)
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE_IN_INTERVAL
(
and
(
member
?PURCHASE_IN_INTERVAL ?PURCHASES)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?VISIT_IN_INTERVAL
(
and
(
member
?VISIT_IN_INTERVAL ?VISITS)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))))))
UXExperimentalTerms.kif 3668-3704
Collection
est une
instance
de
collection
collection
est une
instance
de
collection
collection
est une
sous
-collection appartenant �
collection
physique
physique
est un
membre
de
collection
physique
est une
instance
de
AccessingWebPage
processus
AutonomousAgent
,
processus
,
processus
and
objet
AutonomousAgent
est une
instance
de
humain
processus
est une
instance
de
acheter
processus
est une
instance
de
AccessingWebPage
objet
est une
instance
de
WebPage
processus
est un
membre
de
collection
processus
aboutit
�
objet
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
temps
d'existence de
processus
prend place
pendant
temps
d'existence de
processus
objet
est un
instrument
pour
processus
processus
est un
membre
de
collection
interval temporel
entit�
_IN_INTERVAL and
entit�
_IN_INTERVAL
SCRFn
collection
and
interval temporel
est
instances
dans la
classe
d�crite par
entit�
_IN_INTERVAL + le nombre d'
instances
dans la
classe
d�crite par
entit�
_IN_INTERVAL
(=>
(
and
(
instance
?W
Wind
)
(
located
?W ?L)
(
equal
?T
(
WhenFn
?W))
(
holdsDuring
?T
(
surfaceWindSpeed
?L
(
MeasureFn
?N
MilesPerHour
))))
(
greaterThan
?N 20.0))
Merge.kif 11264-11272
Physique
est une
instance
de
Wind
physique
est
situ
� �
objet
interval temporel
est
temps
d'existence de
physique
surfaceWindSpeed
objet
and
nombre r�el
MilesPerHour
(s)
pendant
interval temporel
nombre r�el
est
plus
grand
que 20.0
(=>
(
and
(
instance
?WALK
Walking
)
(
instance
?RUN
Running
)
(
agent
?WALK ?AGENT)
(
agent
?RUN ?AGENT)
(
holdsDuring
(
WhenFn
?WALK)
(
measure
?AGENT
(
SpeedFn
?LENGTH1 ?TIME)))
(
holdsDuring
(
WhenFn
?RUN)
(
measure
?AGENT
(
SpeedFn
?LENGTH2 ?TIME))))
(
greaterThan
?LENGTH2 ?LENGTH1))
Merge.kif 11158-11166
Processus
est une
instance
de
marcher
processus
est une
instance
de
Running
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
la
mesure
de
AutonomousAgent
est
nombre r�el
par
entit�
pendant
temps
d'existence de
processus
la
mesure
de
AutonomousAgent
est
nombre r�el
par
entit�
pendant
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instance
?Account
FinancialAccount
)
(
origin
?Withdrawal ?Account)
(
transactionAmount
?Withdrawal
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Withdrawal))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Withdrawal))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 466-481
Financial transaction
est une
instance
de
Withdrawal
FinancialAccount
est une
instance
de
FinancialAccount
financial transaction
a pour
origine
FinancialAccount
transactionAmount
financial transaction
and
nombre r�el
unit� de mesure
(s)
currentAccountBalance
FinancialAccount
, immediatement
avant
temps
d'existence de
financial transaction
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
nombre r�el
+
nombre r�el
)
currentAccountBalance
FinancialAccount
, immediatement
apr
�s
apr
�s
financial transaction
and
nombre r�el
unit� de mesure
(s)
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