meetsTemporally
(=>
(
and
(
instance
?MONTH1
(
MonthFn
March
?YEAR))
(
instance
?MONTH2
(
MonthFn
April
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9094-9098
Interval temporel
est une
instance
de le
moi
Mars
interval temporel
est une
instance
de le
moi
Avril
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?MONTH1
(
MonthFn
May
?YEAR))
(
instance
?MONTH2
(
MonthFn
June
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9122-9126
Interval temporel
est une
instance
de le
moi
Mai
interval temporel
est une
instance
de le
moi
Juin
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?MONTH1
(
MonthFn
November
?YEAR))
(
instance
?MONTH2
(
MonthFn
December
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9207-9211
Interval temporel
est une
instance
de le
moi
Novembre
interval temporel
est une
instance
de le
moi
Decembre
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?MONTH1
(
MonthFn
October
?YEAR))
(
instance
?MONTH2
(
MonthFn
November
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9193-9197
Interval temporel
est une
instance
de le
moi
Octobre
interval temporel
est une
instance
de le
moi
Novembre
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?MONTH1
(
MonthFn
September
?YEAR))
(
instance
?MONTH2
(
MonthFn
October
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9179-9183
Interval temporel
est une
instance
de le
moi
Septembre
interval temporel
est une
instance
de le
moi
Octobre
interval temporel
rencontre
interval temporel
(=>
(
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
?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
?SECOND1
(
SecondFn
?NUMBER1 ?MINUTE))
(
instance
?SECOND2
(
SecondFn
?NUMBER2 ?MINUTE))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?SECOND1 ?SECOND2))
Merge.kif 8683-8688
Interval temporel
est une
instance
de la
seconde
nombre entier positif
interval temporel
est une
instance
de la
seconde
nombre entier positif
(
nombre entier positif
+
nombre entier positif
) est
interval temporel
rencontre
interval temporel
(=>
(
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
?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
?VP
ValetParking
)
(
patient
?VP ?VEHICLE)
(
instance
?A
Arriving
)
(
patient
?A ?VEHICLE))
(
meetsTemporally
(
EndFn
(
WhenFn
?A))
(
BeginFn
(
WhenFn
?VP))))
TransportDetail.kif 174-182
Processus
est une
instance
de
ValetParking
entit�
est un
patient
de
processus
processus
est une
instance
de
Arriving
entit�
est un
patient
de
processus
la
fin
de
temps
d'existence de
processus
rencontre
le
d
�but de
temps
d'existence de
processus
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
equal
(
SubtractionFn
?N2 ?N1) 1))
(
meetsTemporally
?Y1 ?Y2))
Merge.kif 8748-8753
Interval temporel
est une
instance
de l'
ann
�e
nombre entier
interval temporel
est une
instance
de l'
ann
�e
nombre entier
(
nombre entier
+
nombre entier
) est
interval temporel
rencontre
interval temporel
(=>
(
and
(
monetaryValue
?Check ?Amount)
(
checkAccount
?Check ?Account)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
equal
(
WhenFn
?Processing) ?ProcessingTime))
(
exists
(?Withdrawal ?WithdrawalTime)
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instrument
?Withdrawal ?Check)
(
equal
(
WhenFn
?Withdrawal) ?WithdrawalTime)
(
meetsTemporally
?ProcessingTime ?WithdrawalTime)
(
transactionAmount
?Withdrawal ?Amount)
(
origin
?Withdrawal ?Account))))
FinancialOntology.kif 104-118
valeur
de
Check
est
mesure de devise
checkAccount
Check
and
FinancialAccount
processus
est une
instance
de
ProcessingACheck
Check
est un
patient
de
processus
temps
d'existence de
processus
est
processus
Time
financial transaction
financial transaction
Time
financial transaction
est une
instance
de
Withdrawal
Check
est un
instrument
pour
financial transaction
temps
d'existence de
financial transaction
est
financial transaction
Time
processus
Time
rencontre
financial transaction
Time
transactionAmount
financial transaction
and
mesure de devise
financial transaction
a pour
origine
FinancialAccount
(=>
(
and
(
monetaryValue
?Check ?Amount)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
destination
?Processing
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
equal
(
WhenFn
?Processing) ?ProcessingTime))
(
exists
(?Deposit ?DepositTime)
(
and
(
instance
?Deposit
Deposit
)
(
instrument
?Deposit ?Check)
(
equal
(
WhenFn
?Deposit) ?DepositTime)
(
meetsTemporally
?ProcessingTime ?DepositTime)
(
transactionAmount
?Deposit ?Amount)
(
destination
?Deposit
(
CurrencyFn
?Account)))))
FinancialOntology.kif 120-135
valeur
de
objet
est
mesure de devise
processus
est une
instance
de
ProcessingACheck
objet
est un
patient
de
processus
processus
aboutit
�
CurrencyFn
FinancialAccount
FinancialAccount
est une
instance
de
FinancialAccount
temps
d'existence de
processus
est
processus
Time
financial transaction
financial transaction
Time
financial transaction
est une
instance
de
Deposit
objet
est un
instrument
pour
financial transaction
temps
d'existence de
financial transaction
est
financial transaction
Time
processus
Time
rencontre
financial transaction
Time
transactionAmount
financial transaction
and
mesure de devise
financial transaction
aboutit
�
CurrencyFn
FinancialAccount
(=>
(
and
(
shutdownOf
?Shutdown ?Application)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Shutdown)
(
equal
(
WhenFn
?Process1) ?Time1))
(
exists
(?Process2 ?Time2)
(
and
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Application)
(
equal
(
WhenFn
?Process2) ?Time2)
(
meetsTemporally
?Time2 ?Time1))))
QoSontology.kif 427-438
shutdownOf
ShutdownBlock
and
programme d'ordinateur
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
ShutdownBlock
temps
d'existence de
ComputerProcess
est
interval temporel
ComputerProcess
interval temporel
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
temps
d'existence de
ComputerProcess
est
interval temporel
interval temporel
rencontre
interval temporel
(=>
(
and
(
startupOf
?Startup ?Application)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Startup)
(
equal
(
WhenFn
?Process1) ?Time1))
(
exists
(?Process2 ?Time2)
(
and
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Application)
(
equal
(
WhenFn
?Process2) ?Time2)
(
meetsTemporally
?Time1 ?Time2))))
QoSontology.kif 387-398
startupOf
StartupBlock
and
programme d'ordinateur
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
StartupBlock
temps
d'existence de
ComputerProcess
est
interval temporel
ComputerProcess
interval temporel
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
temps
d'existence de
ComputerProcess
est
interval temporel
interval temporel
rencontre
interval temporel
(=>
(
equal
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
meetsTemporally
?INTERVAL1 ?INTERVAL2))
Merge.kif 8339-8343
La
fin
de
interval temporel
est
d
�but de
interval temporel
interval temporel
rencontre
interval temporel
(=>
(
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
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME1)
(=>
(
and
(
instance
?TIME1 ?CLASS)
(
not
(
finishes
?TIME1 ?INTERVAL)))
(
exists
(?TIME2)
(
and
(
instance
?TIME2 ?CLASS)
(
meetsTemporally
?TIME1 ?TIME2))))))
Merge.kif 9423-9433
Decomposition
de
interval temporel
en
interval temporel
TYPEs est
interval temporel
interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
ne
finit
%n{pas}
interval temporel
interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
rencontre
interval temporel
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME1)
(=>
(
and
(
instance
?TIME1 ?CLASS)
(
not
(
starts
?TIME1 ?INTERVAL)))
(
exists
(?TIME2)
(
and
(
instance
?TIME2 ?CLASS)
(
meetsTemporally
?TIME2 ?TIME1))))))
Merge.kif 9435-9445
Decomposition
de
interval temporel
en
interval temporel
TYPEs est
interval temporel
interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
ne
commence
%n{pas}
interval temporel
interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
rencontre
interval temporel
(=>
(
holdsDuring
?T
(
attribute
?H
BoneFracture
))
(
exists
(?S ?B)
(
and
(
instance
?S
Separating
)
(
patient
?S ?B)
(
instance
?B
Bone
)
(
part
?B ?H)
(
meetsTemporally
(
WhenFn
?S) ?T))))
Medicine.kif 6128-6137
BoneFracture
est un
attribut
de
objet
pendant
interval temporel
processus
objet
processus
est une
instance
de
separer
objet
est un
patient
de
processus
objet
est une
instance
de
os
objet
est une
partie
de
objet
temps
d'existence de
processus
rencontre
interval temporel
(=>
(
holdsDuring
?T
(
attribute
?H
BurnInjury
))
(
exists
(?C)
(
and
(
instance
?C
Combustion
)
(
located
?C ?H)
(
meetsTemporally
(
WhenFn
?C) ?T))))
Medicine.kif 6036-6043
BurnInjury
est un
attribut
de
objet
pendant
interval temporel
physique
physique
est une
instance
de
combustion
physique
est
situ
� �
objet
temps
d'existence de
physique
rencontre
interval temporel
(=>
(
holdsDuring
?T
(
attribute
?H
Dizzy
))
(
holdsDuring
?T
(
believes
?H
(=>
(
exists
(?T2)
(
and
(
during
?T2 ?T)
(
holdsDuring
?T2
(
attribute
?H
Standing
))))
(
exists
(?F)
(
and
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
meetsTemporally
?T2
(
WhenFn
?F))))))))
Mid-level-ontology.kif 16411-16427
Dizzy
est un
attribut
de
entit�
pendant
position temporel
entit�
croit
position temporel
2
position temporel
2 prend place
pendant
position temporel
Standing
est un
attribut
de
entit�
pendant
position temporel
2
entit�
entit�
est une
instance
de
Falling
entit�
exp
�rimente
entit�
position temporel
2
rencontre
temps
d'existence de
entit�
pendant
position temporel
(=>
(
instance
?AUTUMN
FallSeason
)
(
exists
(?SUMMER)
(
and
(
instance
?SUMMER
SummerSeason
)
(
meetsTemporally
?SUMMER ?AUTUMN))))
Mid-level-ontology.kif 19202-19207
Interval temporel
est une
instance
de
FallSeason
interval temporel
interval temporel
est une
instance
de
SummerSeason
interval temporel
rencontre
interval temporel
(=>
(
instance
?AUTUMN
FallSeason
)
(
exists
(?WINTER)
(
and
(
instance
?WINTER
WinterSeason
)
(
meetsTemporally
?AUTUMN ?WINTER))))
Mid-level-ontology.kif 19209-19214
Interval temporel
est une
instance
de
FallSeason
interval temporel
interval temporel
est une
instance
de
WinterSeason
interval temporel
rencontre
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