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
Wenn
FinancialTransaction
ist ein
fall
von
Withdrawal
%n{nicht} und
FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
** FinancialTransaction
beginnet an
** FinancialAccount
%n{nicht} und
transactionAmount
** FinancialTransaction
and
RealNumber
UnitOfMeasure
(s) und
currentAccountBalance
** FinancialAccount
, direkt
vor
die
zeit
des Bestehens von
** FinancialTransaction
and
** RealNumber
** UnitOfMeasure
(s) und
** RealNumber
ist gleich (
** ** RealNumber
und
** RealNumber
) %n{nicht},
dann
currentAccountBalance
** FinancialAccount
, sofort
nach
nach
** FinancialTransaction
and
** ** RealNumber
** UnitOfMeasure
(s)
(=>
(
and
(
origin
AntarcticCircumpolarCurrent
?START)
(
destination
AntarcticCircumpolarCurrent
?FINISH))
(
distance
?START ?FINISH
(
MeasureFn
21000.0
(
KiloFn
Meter
))))
Geography.kif 4697-4703
Wenn
AntarcticCircumpolarCurrent
beginnet an
Object
%n{nicht} und
AntarcticCircumpolarCurrent
endet an
Physical
%n{nicht},
dann der
abstand
zwischen
** Object
und
** Physical
ist 21000.0 1
tausend
Meter
(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
Wenn
Object
ist der
pfad
entlang dem
Motion
geschieht und
** Motion
beginnet an
** Object
%n{nicht} und
** Motion
endet an
** Object
%n{nicht} und die
laenge
von
** Object
ist
RealNumber
UnitOfMeasure
(s) %n{nicht} und der
abstand
zwischen
** ** Object
und
** ** Object
ist
** RealNumber
** UnitOfMeasure
(s) und
** RealNumber
ist
groesserAls
** ** RealNumber
nicht und
** Object
ist ein
teil
von
** Object
%n{nicht},
dann
** ** Object
ist
zwischen
** ** Object
und
** ** Object
%n{nicht}
(=>
(
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
Wenn
productPrice
** Entity
,
RealNumber
UnitOfMeasure
(s) and
CognitiveAgent
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
publishedPrice
** Entity
,
** RealNumber
** UnitOfMeasure
(s),
** CognitiveAgent
and
PricingScheme
und
validFor
** PricingScheme
and
** AutonomousAgent
und
** Entity
ist ein
fall
von
** ** Entity
%n{nicht} und
Process
ist ein
fall
von
Buying
%n{nicht} und
** AutonomousAgent
ist ein
direkter
fall von
** AutonomousAgent
und
** Process
ist der
agent
von
** ** AutonomousAgent
%n{nicht} und
** Process
beginnet an
** CognitiveAgent
%n{nicht} und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht},
dann die Aussage
transactionAmount
** Process
and
** RealNumber
hat die modale Kraft von
Likely
(=>
(
origin
?PROCESS ?LOC)
(
eventPartlyLocated
?PROCESS ?LOC))
Merge.kif 4109-4111
Wenn
Process
beginnet an
Object
%n{nicht},
dann
eventPartlyLocated
** Process
and
** Object
(=>
(
origin
?PROCESS ?OBJ)
(
eventLocated
(
WhereFn
?PROCESS
(
BeginFn
(
WhenFn
?PROCESS)))
(
WhereFn
?OBJ
(
BeginFn
(
WhenFn
?OBJ)))))
Merge.kif 7988-7996
Wenn
Process
beginnet an
Object
%n{nicht},
dann
eventLocated
die Stelle
wo
** Process
an der
anfang
von die
zeit
des Bestehens von
** Process
war and die Stelle
wo
** Object
an der
anfang
von die
zeit
des Bestehens von
** Object
war
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