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
If
a financial transaction
is an
instance
of
withdrawal
and
a financial account
is an
instance
of
financial account
and
the financial transaction
originate
s at
the financial account
and
a real number
an unit of measure
(s) is a
transaction
amount of
the financial transaction
and
the financial account
current
account balance immediately
before
the
time
of existence of
the financial transaction
for
another real number
the unit of measure
(s) and
a third real number
is
equal
to (
the other real number
and
the real number
),
then
the financial account
current
account balance immediately
after
after
the financial transaction
for
the third real number
the unit of measure
(s)
(=>
(
and
(
origin
AntarcticCircumpolarCurrent
?START)
(
destination
AntarcticCircumpolarCurrent
?FINISH))
(
distance
?START ?FINISH
(
MeasureFn
21000.0
(
KiloFn
Meter
))))
Geography.kif 4697-4703
If
antarctic circumpolar current
originate
s at
an object
and
antarctic circumpolar current
end
s up at
a physical
,
then the
distance
between
the object
and
the physical
is 21000.0 1
thousand
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
If
an object
is
path
along which
a motion
occurs and
the motion
originate
s at
another object
and
the motion
end
s up at
a third object
and the
length
of
the object
is
a real number
an unit of measure
(s) and the
distance
between
the other object
and
the third object
is
another real number
the unit of measure
(s) and
the real number
is not
greater
than
the other real number
and
a fourth object
is a
part
of
the object
,
then
the fourth object
is
between
the other object
and
the third object
(=>
(
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
If
a cognitive agent
sells
a kind of entity
for
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of currency
and the
price
of
a kind of entity
from
the cognitive agent
according to
a pricing scheme
is
another real number
the unit of measure
(s) and
the pricing scheme
is
valid
for
a kind of agent
and
another entity
is an
instance
of
the kind of entity
and
a process
is an
instance
of
buying
and
another agent
is an
immediate
instance of
a kind of agent
and
the other agent
is an
agent
of
the process
and
the process
originate
s at
the cognitive agent
and
the other real number
is
less
than
the real number
,
then the statement
the real number
is a
transaction
amount of
the process
has the
modal
force
of
likely
(=>
(
origin
?PROCESS ?LOC)
(
eventPartlyLocated
?PROCESS ?LOC))
Merge.kif 4109-4111
If
a process
originate
s at
an object
,
then
the process
is
partly
located
at
the object
(=>
(
origin
?PROCESS ?OBJ)
(
eventLocated
(
WhereFn
?PROCESS
(
BeginFn
(
WhenFn
?PROCESS)))
(
WhereFn
?OBJ
(
BeginFn
(
WhenFn
?OBJ)))))
Merge.kif 7988-7996
If
a process
originate
s at
an object
,
then the place
where
the process
was at the
beginning
of the
time
of existence of
the process
is
located
at the place
where
the object
was at the
beginning
of the
time
of existence of
the object
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