WhenFn
(=>
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?LISTING
WebListing
)
(
instance
?TIME
TimePoint
)
(
listingSeller
?LISTING ?AGENT)
(
not
(
member
?LISTING ?COLL))
(
forall
(?ITEM ?MEMBER)
(
and
(=>
(
and
(
instance
?ITEM
WebListing
)
(
member
?ITEM
(
SellersItemsFn
?AGENT ?SITE))
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
not
(
equal
?ITEM ?LISTING)))
(
member
?ITEM ?COLL))
(=>
(
member
?MEMBER ?COLL)
(
and
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
instance
?MEMBER
WebListing
))))))
(
equal
(
SellersOtherItemsFn
?AGENT ?SITE ?LISTING ?TIME) ?COLL))
UXExperimentalTerms.kif 1033-1060
Collection
est une
instance
de
collection
WebSite
est une
instance
de
WebSite
AutonomousAgent
est une
instance
de
AutonomousAgent
WebListing
est une
instance
de
WebListing
point temporel
est une
instance
de
point temporel
listingSeller
WebListing
and
AutonomousAgent
WebListing
est un
membre
de
collection
physique
physique
physique
est une
instance
de
WebListing
physique
est un
membre
de
SellersItemsFn
AutonomousAgent
and
WebSite
point temporel
est une
partie
de
temps
d'existence de
physique
physique
est
WebListing
physique
est un
membre
de
collection
physique
est un
membre
de
collection
point temporel
est une
partie
de
temps
d'existence de
physique
physique
est une
instance
de
WebListing
SellersOtherItemsFn
AutonomousAgent
,
WebSite
,
WebListing
and
point temporel
est
collection
(=>
(
and
(
instance
?CONST
(
ConstitutionFn
?COUNTRY))
(
instance
?COUNTRY
Nation
)
(
equal
?GOV
(
GovernmentFn
?COUNTRY))
(
instance
(
WhenFn
?GOV) ?CLASS)
(
agreementEffectiveDuring
?CONST ?CLASS)
(
subProposition
?PART ?CONST)
(
containsInformation
?FORMULA ?PART))
(
holdsObligation
?FORMULA ?GOV))
Government.kif 774-783
Proposition
est une
instance
de
ConstitutionFn
secteur g�opolitique
secteur g�opolitique
est une
instance
de
nation
gouvernement
est
gouvernment
de
secteur g�opolitique
temps
d'existence de
gouvernement
est une
instance
de
position temporel
agreementEffectiveDuring
proposition
and
position temporel
proposition
est une
sous
-proposition de
proposition
formule
contient
information
proposition
gouvernement
est
oblig
� d'ex�cut� des t�ches du type
formule
(=>
(
and
(
instance
?Compression
DataCompression
)
(
dataProcessed
?Compression ?Data)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?Memory ?Measure)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?NewMemory ?Measure))))
(
lessThan
?NewMemory ?Memory))
QoSontology.kif 1926-1940
ComputerProcess
est une
instance
de
DataCompression
dataProcessed
ComputerProcess
and
DigitalData
memorySize
DigitalData
and
nombre r�el
entit�
(s)
pendant
immediatement
avant
temps
d'existence de
ComputerProcess
memorySize
DigitalData
and
nombre r�el
entit�
(s)
pendant
immediatement
apr
�s
temps
d'existence de
ComputerProcess
nombre r�el
est
moins
que
nombre r�el
(=>
(
and
(
instance
?D
DeletingAnAccount
)
(
instance
?AC
Account
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
hasAccount
?A ?AC))
(
patient
?D ?AC)
(
agent
?D ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?D))
(
not
(
hasAccount
?A ?AC))))
ComputingBrands.kif 4566-4576
Processus
est une
instance
de
DeletingAnAccount
entit�
est une
instance
de
Account
hasAccount
AutonomousAgent
and
entit�
pendant
immediatement
avant
temps
d'existence de
processus
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
hasAccount
AutonomousAgent
and
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
and
(
instance
?D
Detaching
)
(
patient
?D ?O1)
(
patient
?D ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
connected
?O1 ?O2))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2))))
(
and
(
objectDetached
?A ?O1)
(
objectDetached
?A ?O2)))
Merge.kif 12431-12440
Processus
est une
instance
de
detacher
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
entit�
est
connect
� �
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est
connect
� �
entit�
pendant
la
fin
de
temps
d'existence de
processus
objectDetached
processus
and
entit�
objectDetached
processus
and
entit�
(=>
(
and
(
instance
?D
Dodging
)
(
agent
?D ?A)
(
equal
?DT
(
WhenFn
?D)))
(
hasPurpose
?D
(
not
(
exists
(?I)
(
and
(
or
(
meetsTemporally
?DT
(
WhenFn
?I))
(
overlapsTemporally
?DT
(
WhenFn
?I)))
(
instance
?I
Impacting
)
(
patient
?I ?A))))))
Mid-level-ontology.kif 450-463
Processus
est une
instance
de
Dodging
processus
est un
agent
de
AutonomousAgent
processus
T est
temps
d'existence de
processus
processus
a pour
but
entit�
processus
T
rencontre
temps
d'existence de
entit�
temps
d'existence de
entit�
recouvre
processus
T
entit�
est une
instance
de
impacte
AutonomousAgent
est un
patient
de
entit�
(=>
(
and
(
instance
?DEPOSITION
Deposition
)
(
patient
?DEPOSITION ?OBJ)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?X
Joule
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?Y
Joule
))))
(
lessThan
?Y ?X))
Geography.kif 7016-7030
Processus
est une
instance
de
Deposition
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
moins
que
nombre r�el
(=>
(
and
(
instance
?DISCOVER
Discovering
)
(
patient
?DISCOVER ?OBJ)
(
holdsDuring
(
WhenFn
?DISCOVER)
(
located
?OBJ ?PLACE)))
(
exists
(?LEARN)
(
and
(
instance
?LEARN
Learning
)
(
subProcess
?LEARN ?DISCOVER)
(
patient
?LEARN
(
located
?OBJ ?PLACE)))))
Merge.kif 11973-11982
Processus
est une
instance
de
Discovering
entit�
est un
patient
de
processus
entit�
est
situ
� �
entit�
pendant
temps
d'existence de
processus
processus
processus
est une
instance
de
apprendre
processus
est un
sous
-processus de
processus
entit�
est
situ
� �
entit�
est un
patient
de
processus
(=>
(
and
(
instance
?Deposit
Deposit
)
(
instance
?Account
FinancialAccount
)
(
destination
?Deposit
(
CurrencyFn
?Account))
(
transactionAmount
?Deposit
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Deposit))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
AdditionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Deposit))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 436-453
Financial transaction
est une
instance
de
Deposit
FinancialAccount
est une
instance
de
FinancialAccount
financial transaction
aboutit
�
CurrencyFn
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)
(=>
(
and
(
instance
?Downtick
Downtick
)
(
patient
?Downtick ?Stock)
(
equal
(
WhenFn
?Downtick) ?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)
(
greaterThan
?Price2 ?Price1))))
FinancialOntology.kif 3234-3250
Processus
est une
instance
de
Downtick
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
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?Drawing
DrawingACheck
)
(
patient
?Drawing ?Check)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
equal
(
WhenFn
?Drawing) ?DrawingTime)
(
equal
(
WhenFn
?Processing) ?ProcessingTime)
(
meetsTemporally
?DrawingTime ?Time)
(
meetsTemporally
?Time ?ProcessingTime)
(
duration
?Time
(
MeasureFn
?Duration
MonthDuration
)))
(
lessThan
?Duration 6))
FinancialOntology.kif 155-166
Processus
est une
instance
de
DrawingACheck
entit�
est un
patient
de
processus
processus
est une
instance
de
ProcessingACheck
entit�
est un
patient
de
processus
temps
d'existence de
processus
est
processus
Time
temps
d'existence de
processus
est
processus
Time
processus
Time
rencontre
interval temporel
interval temporel
rencontre
processus
Time la
dur
�� de
interval temporel
est
nombre r�el
MonthDuration
(s)
nombre r�el
est
moins
que 6
(=>
(
and
(
instance
?E
Motion
)
(
instance
?T
Tremor
)
(
instance
?D
Damper
)
(
patient
?T ?O)
(
part
?D ?O)
(
causes
?E ?T)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
WhenFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U))))
(
greaterThan
?A1 ?A2))
Cars.kif 777-792
Processus
est une
instance
de
d�palcement
processus
est une
instance
de
Tremor
objet
est une
instance
de
Damper
objet
est un
patient
de
processus
objet
est une
partie
de
objet
processus
cause
processus
entit�
est une
instance
de
UnitOfLength
physicalAmplitude
processus
and
nombre r�el
entit�
(s)
pendant
temps
d'existence de
processus
physicalAmplitude
processus
and
nombre r�el
entit�
(s)
pendant
immediatement
apr
�s
processus
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
eventLocated
?EC ?E)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
WhenFn
?EC)
(
maxCylinderVolume
?E
(
MeasureFn
?V1 ?U))))
(
not
(
exists
(?V2 ?T)
(
and
(
during
?T
(
WhenFn
?EC))
(
holdsDuring
?T
(
measure
?CC
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V2 ?V1)))))
Cars.kif 1898-1917
Processus
est une
instance
de
EngineCycle
objet
est une
instance
de
InternalCombustionEngine
objet
est une
instance
de
CombustionChamber
objet
est une
partie
de
objet
eventLocated
processus
and
objet
entit�
est une
instance
de
UnitOfVolume
maxCylinderVolume
objet
and
nombre r�el
entit�
(s)
pendant
temps
d'existence de
processus
nombre r�el
interval temporel
interval temporel
prend place
pendant
temps
d'existence de
processus
la
mesure
de
objet
est
nombre r�el
entit�
(s)
pendant
interval temporel
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
eventLocated
?EC ?E)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
WhenFn
?EC)
(
minCylinderVolume
?E
(
MeasureFn
?V1 ?U))))
(
not
(
exists
(?V2 ?T)
(
and
(
during
?T
(
WhenFn
?EC))
(
holdsDuring
?T
(
measure
?CC
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V1 ?V2)))))
Cars.kif 1868-1887
Processus
est une
instance
de
EngineCycle
objet
est une
instance
de
InternalCombustionEngine
objet
est une
instance
de
CombustionChamber
objet
est une
partie
de
objet
eventLocated
processus
and
objet
entit�
est une
instance
de
UnitOfVolume
minCylinderVolume
objet
and
nombre r�el
entit�
(s)
pendant
temps
d'existence de
processus
nombre r�el
interval temporel
interval temporel
prend place
pendant
temps
d'existence de
processus
la
mesure
de
objet
est
nombre r�el
entit�
(s)
pendant
interval temporel
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
not
(
located
?ITEM ?AREA))))
Economy.kif 2421-2430
Processus
est une
instance
de
Exporting
entit�
est un
patient
de
processus
entit�
est une
instance
de
secteur g�opolitique
entit�
est
situ
� �
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est
situ
� �
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1)))
(
exists
(?AREA2)
(
and
(
instance
?AREA2
GeopoliticalArea
)
(
not
(
geopoliticalSubdivision
?AREA1 ?AREA2))
(
not
(
geopoliticalSubdivision
?AREA2 ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))))
Economy.kif 2432-2445
Processus
est une
instance
de
Exporting
entit�
est un
patient
de
processus
secteur g�opolitique
est une
instance
de
secteur g�opolitique
entit�
est
situ
� �
secteur g�opolitique
pendant
le
d
�but de
temps
d'existence de
processus
secteur g�opolitique
secteur g�opolitique
est une
instance
de
secteur g�opolitique
sous-division g�opolitique sous-division g�opolitique
entit�
est
situ
� �
secteur g�opolitique
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
instance
?AREA2
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2456-2466
Processus
est une
instance
de
Exporting
entit�
est un
patient
de
processus
objet
est une
instance
de
secteur g�opolitique
physique
est une
instance
de
secteur g�opolitique
entit�
est
situ
� �
objet
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est
situ
� �
physique
pendant
la
fin
de
temps
d'existence de
processus
physique
est
situ
� �
objet
(=>
(
and
(
instance
?F
Flooding
)
(
instance
?L
LandArea
)
(
eventLocated
?F ?L)
(
instance
?T
TimePoint
)
(
before
?T
(
WhenFn
?F)))
(
modalAttribute
(
holdsDuring
?T
(
instance
?L
SubmergedLandArea
))
Unlikely
))
Weather.kif 1598-1608
Processus
est une
instance
de
Flooding
objet
est une
instance
de
zone de terre
eventLocated
processus
and
objet
point temporel
est une
instance
de
point temporel
point temporel
se produit
avant
temps
d'existence de
processus
l'argument
objet
est une
instance
de
SubmergedLandArea
pendant
point temporel
a la
force
modale
de
Unlikely
(=>
(
and
(
instance
?FOG
Fogging
)
(
eventLocated
?FOG ?AREA)
(
instance
?AREA
GeographicArea
)
(
instance
?AIR
AtmosphericRegion
)
(
orientation
?AIR ?AREA
Above
)
(
instance
?A
Aerosal
)
(
locatedAtTime
?A
(
WhenFn
?FOG) ?AIR)
(
visibilityInMeteorology
?AREA
(
WhenFn
?FOG)
(
MeasureFn
?VISIBILITY
Meter
)))
(
lessThan
?VISIBILITY 1000.0))
Weather.kif 2537-2550
Processus
est une
instance
de
Fogging
eventLocated
processus
and
r�gion
r�gion
est une
instance
de
secteur g�ographique
objet
est une
instance
de
AtmosphericRegion
objet
est
Above
�
r�gion
objet
est une
instance
de
Aerosal
locatedAtTime
objet
,
temps
d'existence de
processus
and
objet
visibilityInMeteorology
r�gion
,
temps
d'existence de
processus
and
nombre r�el
Meter
(s)
nombre r�el
est
moins
que 1000.0
(=>
(
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
?HAZE
AtmosphericHazing
)
(
eventLocated
?HAZE ?AREA)
(
instance
?AREA
GeographicArea
)
(
instance
?AIR
AtmosphericRegion
)
(
orientation
?AIR ?AREA
Above
)
(
locatedAtTime
?PARTICULATE
(
WhenFn
?HAZE) ?AIR)
(
visibilityInMeteorology
?AREA
(
WhenFn
?HAZE)
(
MeasureFn
?VISIBILITY
Kilometer
)))
(
and
(
greaterThan
?VISIBILITY 2.0)
(
lessThan
?VISIBILITY 5.0)))
Weather.kif 2566-2580
Processus
est une
instance
de
AtmosphericHazing
eventLocated
processus
and
r�gion
r�gion
est une
instance
de
secteur g�ographique
objet
est une
instance
de
AtmosphericRegion
objet
est
Above
�
r�gion
locatedAtTime
objet
,
temps
d'existence de
processus
and
objet
visibilityInMeteorology
r�gion
,
temps
d'existence de
processus
and
nombre r�el
Kilometer
(s)
nombre r�el
est
plus
grand
que 2.0
nombre r�el
est
moins
que 5.0
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?MS)
(
instance
?MS
MoodStabilizer
)
(
instance
?E ?EC)
(
involvedInEvent
?E ?H)
(
holdsDuring
(
WhenFn
?E)
(
attribute
?H ?ES))
(
instance
?ES
EmotionalState
)
(
instance
?E2 ?EC)
(
involvedInEvent
?E2 ?H)
(
earlier
(
WhenFn
?E2)
(
WhenFn
?I)))
(
modalAttribute
(
not
(
holdsDuring
?E2
(
attribute
?H ?ES)))
Unlikely
))
Mid-level-ontology.kif 9774-9795
Transf�re
est une
instance
de
ing�rer
AutonomousAgent
exp
�rimente
transf�re
objectTransferred
transf�re
and
objet
objet
est une
instance
de
MoodStabilizer
processus
est une
instance
de
processus
C
involvedInEvent
processus
and
AutonomousAgent
processus
S est un
attribut
de
AutonomousAgent
pendant
temps
d'existence de
processus
processus
S est une
instance
de
�tat �motionnel
processus
2 est une
instance
de
processus
C
involvedInEvent
processus
2 and
AutonomousAgent
temps
d'existence de
processus
2 arrive
plus
t�t que
temps
d'existence de
transf�re
l'argument
processus
S est un
attribut
de
AutonomousAgent
pendant
processus
2 a la
force
modale
de
Unlikely
(=>
(
and
(
instance
?L
Lever
)
(
instance
?P
Pushing
)
(
instance
?M1
Motion
)
(
instance
?U
UnitOfLength
)
(
destination
?P ?E1)
(
physicalEnd
?E1 ?L)
(
physicalEnd
?E2 ?L)
(
not
(
equal
?E1 ?E2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E1 ?P1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E1 ?P2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E2 ?P3))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E2 ?P4))
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
distance
?P3 ?P4
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
Mid-level-ontology.kif 1332-1355
Objet
est une
instance
de
Lever
processus
est une
instance
de
Pushing
physique
est une
instance
de
d�palcement
unit� de mesure
est une
instance
de
UnitOfLength
processus
aboutit
�
objet
physicalEnd
objet
and
objet
physicalEnd
objet
and
objet
objet
est
objet
objet
est
situ
� �
processus
1
pendant
immediatement
avant
temps
d'existence de
physique
objet
est
situ
� �
processus
2
pendant
immediatement
apr
�s
temps
d'existence de
physique
objet
est
situ
� �
processus
3
pendant
immediatement
avant
temps
d'existence de
physique
objet
est
situ
� �
processus
4
pendant
immediatement
apr
�s
temps
d'existence de
physique
la
distance
entre
processus
1 et
processus
2 est
nombre r�el
unit� de mesure
(s) la
distance
entre
processus
3 et
processus
4 est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
accountAtSite
?A ?S)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
patient
?P ?S))))
Possibility
))
ComputingBrands.kif 3972-3986
Processus
est une
instance
de
LoggingIn
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
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
WebSite
est un
patient
de
entit�
pendant
interval temporel
a la
force
modale
de
Possibility
(=>
(
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
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