origin
(=>
(
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)
(=>
(
and
(
origin
AntarcticCircumpolarCurrent
?START)
(
destination
AntarcticCircumpolarCurrent
?FINISH))
(
distance
?START ?FINISH
(
MeasureFn
21000.0
(
KiloFn
Meter
))))
Geography.kif 4697-4703
AntarcticCircumpolarCurrent
a pour
origine
objet
AntarcticCircumpolarCurrent
aboutit
�
physique
la
distance
entre
objet
et
physique
est 21000.0 1
millier
Meter
s(s)
(=>
(
and
(
path
?PROCESS ?PATH1)
(
origin
?PROCESS ?SOURCE)
(
destination
?PROCESS ?DEST)
(
length
?PATH1
(
MeasureFn
?MEASURE1 ?U))
(
distance
?SOURCE ?DEST
(
MeasureFn
?DISTANCE ?U))
(
not
(
greaterThan
?MEASURE1 ?DISTANCE))
(
part
?OBJ ?PATH1))
(
between
?SOURCE ?OBJ ?DEST))
Merge.kif 11082-11092
Objet
est le
chemin
le long duquel
d�palcement
se produit
d�palcement
a pour
origine
objet
d�palcement
aboutit
�
objet
le
longueur
de
objet
est
nombre r�el
unit� de mesure
(s) la
distance
entre
objet
et
objet
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
objet
est une
partie
de
objet
objet
est
entre
objet
et
objet
(=>
(
and
(
productPrice
?ENT
(
MeasureFn
?PRICE1 ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
publishedPrice
?ENT
(
MeasureFn
?PRICE2 ?U) ?AGENT ?PS)
(
validFor
?PS ?CUSTCLASS)
(
instance
?ITEM ?ENT)
(
instance
?B
Buying
)
(
immediateInstance
?CUST ?CUSTCLASS)
(
agent
?B ?CUST)
(
origin
?B ?AGENT)
(
lessThan
?PRICE2 ?PRICE1))
(
modalAttribute
(
transactionAmount
?B ?PRICE1)
Likely
))
Catalog.kif 430-445
productPrice
entit�
,
nombre r�el
unit� de mesure
(s) and
agent cognitif
unit� de mesure
est une
instance
de
UnitOfCurrency
publishedPrice
entit�
,
nombre r�el
unit� de mesure
(s),
agent cognitif
and
PricingScheme
validFor
PricingScheme
and
AutonomousAgent
entit�
est une
instance
de
entit�
processus
est une
instance
de
acheter
AutonomousAgent
est une
instance
imm�diate de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
processus
a pour
origine
agent cognitif
nombre r�el
est
moins
que
nombre r�el
l'argument
transactionAmount
processus
and
nombre r�el
a la
force
modale
de
Likely
(=>
(
origin
?PROCESS ?LOC)
(
eventPartlyLocated
?PROCESS ?LOC))
Merge.kif 4109-4111
Processus
a pour
origine
objet
eventPartlyLocated
processus
and
objet
(=>
(
origin
?PROCESS ?OBJ)
(
eventLocated
(
WhereFn
?PROCESS
(
BeginFn
(
WhenFn
?PROCESS)))
(
WhereFn
?OBJ
(
BeginFn
(
WhenFn
?OBJ)))))
Merge.kif 7988-7996
Processus
a pour
origine
objet
eventLocated
la place
o
�
processus
�tait � le
d
�but de
temps
d'existence de
processus
and la place
o
�
objet
�tait � le
d
�but de
temps
d'existence de
objet
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