Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
transactionAmount
Sigma KEE - transactionAmount
transactionAmount
appearance as argument number 1
(
documentation
transactionAmount
ChineseLanguage
"(
transactionAmount
?TRANSACTION ?AMOUNT)的意思是: ?AMOUNT 是在
FinancialTransaction
?TRANSACTION 中所交换
CurrencyMeasure
的实例。")
chinese_format.kif 3097-3099
(
documentation
transactionAmount
EnglishLanguage
"(
transactionAmount
?TRANSACTION ?AMOUNT) means that ?AMOUNT is an instance of
CurrencyMeasure
being exhanged in the
FinancialTransaction
?TRANSACTION.")
Merge.kif 11853-11855
(
documentation
transactionAmount
JapaneseLanguage
"(
transactionAmount
?TRANSACTION ?AMOUNT) は、?AMOUNT が
FinancialTransaction
?TRANSACTION に取り出されている
CurrencyMeasure
のインスタンスであることを意味する。")
japanese_format.kif 1868-1870
(
domain
transactionAmount
1
FinancialTransaction
)
Merge.kif 11850-11850
Die Zahl 1 Argument von
transactionAmount
ist ein
fall
von
FinancialTransaction
%n{nicht}
(
domain
transactionAmount
2
CurrencyMeasure
)
Merge.kif 11851-11851
Die Zahl 2 Argument von
transactionAmount
ist ein
fall
von
CurrencyMeasure
%n{nicht}
(
instance
transactionAmount
BinaryPredicate
)
Merge.kif 11847-11847
transactionAmount
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
transactionAmount
SingleValuedRelation
)
Merge.kif 11848-11848
transactionAmount
ist ein
fall
von
SingleValuedRelation
%n{nicht}
(
instance
transactionAmount
TotalValuedRelation
)
Merge.kif 11849-11849
transactionAmount
ist ein
fall
von
TotalValuedRelation
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
transactionAmount
"%2 %n 是 %1 的 transaction 总额")
domainEnglishFormat.kif 2535-2535
(
format
ChineseTraditionalLanguage
transactionAmount
"%2 %n 是 %1 的 transaction 總額")
domainEnglishFormat.kif 2534-2534
(
format
EnglishLanguage
transactionAmount
"%2 is %n a transaction amount of %1")
domainEnglishFormat.kif 2533-2533
(
subrelation
amountCharged
transactionAmount
)
FinancialOntology.kif 909-909
amountCharged
ist eine
teilrelation
von
transactionAmount
(
termFormat
ChineseLanguage
transactionAmount
"交易金额")
domainEnglishFormat.kif 58796-58796
(
termFormat
ChineseTraditionalLanguage
transactionAmount
"交易金額")
domainEnglishFormat.kif 58795-58795
(
termFormat
EnglishLanguage
transactionAmount
"transaction amount")
domainEnglishFormat.kif 58794-58794
antecedent
(=>
(
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
Wenn
FinancialTransaction
ist ein
fall
von
Deposit
%n{nicht} und
FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
** FinancialTransaction
endet an
CurrencyFn
** 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
(
instance
?Payment
Payment
)
(
origin
?Payment
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
transactionAmount
?Payment
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 408-424
Wenn
FinancialTransaction
ist ein
fall
von
Payment
%n{nicht} und
** FinancialTransaction
beginnet an
CurrencyFn
FinancialAccount
%n{nicht} und
** FinancialAccount
ist ein
fall
von
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
die
zeit
des Bestehens von
** FinancialTransaction
and
** ** RealNumber
** UnitOfMeasure
(s)
(=>
(
and
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction
(
CurrencyFn
?Account))
(
transactionAmount
?Transaction
(
MeasureFn
?Amount1 ?U))
(
instance
?U
UnitOfCurrency
)
(
instance
?Cash
Currency
)
(
patient
?Transaction ?Cash)
(
date
?Transaction ?Day))
(
exists
(?Amount2)
(
and
(
availableCash
?Account ?Day
(
MeasureFn
?Amount2 ?U))
(
greaterThanOrEqualTo
?Amount1 ?Amount2))))
FinancialOntology.kif 3838-3852
Wenn
FinancialTransaction
ist ein
fall
von
FinancialTransaction
%n{nicht} und
** FinancialTransaction
beginnet an
CurrencyFn
FinancialAccount
%n{nicht} und
transactionAmount
** FinancialTransaction
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
Entity
ist ein
fall
von
Currency
%n{nicht} und
** Entity
ist ein
patient
von
** FinancialTransaction
%n{nicht} und
datum
von
** FinancialTransaction
ist
Day
%n{nicht},
dann es gibt
** RealNumber
um
availableCash
** FinancialAccount
,
** Day
and
** ** RealNumber
** UnitOfMeasure
(s) und
** RealNumber
ist
groesserAlsOderGleich
** ** RealNumber
%n{nicht}
(=>
(
and
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction ?Account)
(
transactionAmount
?Transaction
(
MeasureFn
?Amount1 ?U))
(
instance
?U
UnitOfCurrency
)
(
date
?Transaction ?Day))
(
exists
(?Amount2)
(
and
(
availableBalance
?Account ?Day
(
MeasureFn
?Amount2 ?U))
(
greaterThanOrEqualTo
?Amount1 ?Amount2))))
FinancialOntology.kif 3815-3827
Wenn
FinancialTransaction
ist ein
fall
von
FinancialTransaction
%n{nicht} und
** FinancialTransaction
beginnet an
FinancialAccount
%n{nicht} und
transactionAmount
** FinancialTransaction
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
datum
von
** FinancialTransaction
ist
Day
%n{nicht},
dann es gibt
** RealNumber
um
availableBalance
** FinancialAccount
,
** Day
and
** ** RealNumber
** UnitOfMeasure
(s) und
** RealNumber
ist
groesserAlsOderGleich
** ** RealNumber
%n{nicht}
(=>
(
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
(
transactionAmount
?Payment ?Amount)
(
date
?Payment ?Date)
(
instance
?Account
FinancialAccount
)
(
destination
?Payment
(
CurrencyFn
?Account))
(
amountDue
?Account ?Amount ?DueDate)
(
before
(
EndFn
?Date)
(
BeginFn
?DueDate)))
(
instance
?Payment
Prepayment
))
FinancialOntology.kif 834-842
Wenn
transactionAmount
FinancialTransaction
and
CurrencyMeasure
und
datum
von
** FinancialTransaction
ist
Day
%n{nicht} und
FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
** FinancialTransaction
endet an
CurrencyFn
** FinancialAccount
%n{nicht} und
amountDue
** FinancialAccount
,
** CurrencyMeasure
and
TimeInterval
und das
ende
von
** Day
geschieht
vor
der
anfang
von
** TimeInterval
%n{nicht},
dann
** FinancialTransaction
ist ein
fall
von
Prepayment
%n{nicht}
(=>
(
transactionAmount
?TRANS ?AMOUNT)
(
exists
(?OBJ)
(
and
(
patient
?TRANS ?OBJ)
(
monetaryValue
?OBJ ?AMOUNT))))
Merge.kif 11857-11862
Wenn
transactionAmount
FinancialTransaction
and
CurrencyMeasure
,
dann es gibt
Physical
um
** Physical
ist ein
patient
von
** FinancialTransaction
%n{nicht} und
wert
von
** Physical
ist
** CurrencyMeasure
consequent
(=>
(
and
(
agent
?Purchase ?Buyer)
(
origin
?Purchase ?Seller)
(
patient
?Purchase ?Object)
(
monetaryValue
?Object ?Money))
(
exists
(?Payment)
(
and
(
subProcess
?Payment ?Purchase)
(
instance
?Payment
Payment
)
(
transactionAmount
?Payment ?Money)
(
origin
?Payment ?Buyer)
(
destination
?Payment ?Seller))))
FinancialOntology.kif 487-499
Wenn
Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
** Process
beginnet an
Object
%n{nicht} und
Physical
ist ein
patient
von
** Process
%n{nicht} und
wert
von
** Physical
ist
CurrencyMeasure
,
dann es gibt
FinancialTransaction
um
** FinancialTransaction
ist ein
subProzess
von
** Process
und
** FinancialTransaction
ist ein
fall
von
Payment
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** CurrencyMeasure
und
** FinancialTransaction
beginnet an
** AutonomousAgent
%n{nicht} und
** FinancialTransaction
endet an
** Object
%n{nicht}
(=>
(
and
(
amountDue
?Account ?Amount ?DueDate)
(
accountHolder
?Account ?Agent))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
instance
?Payment
Payment
)
(
transactionAmount
?Payment ?Amount)
(
or
(
destination
?Payment
(
CurrencyFn
?Account))
(
origin
?Payment
(
CurrencyFn
?Account)))
(
date
?Payment ?Date)
(
beforeOrEqual
(
EndFn
?Date)
(
BeginFn
?DueDate)))) ?Agent))
FinancialOntology.kif 655-667
Wenn
amountDue
FinancialAccount
,
CurrencyMeasure
and
TimePosition
und
accountHolder
** FinancialAccount
and
CognitiveAgent
,
dann
** CognitiveAgent
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
and
(
borrower
?Loan ?Borrower)
(
lender
?Loan ?Lender)
(
agreementPeriod
?Loan ?Period)
(
interestEarned
?Loan ?Interest ?Period))
(
exists
(?Payment)
(
and
(
origin
?Payment ?Borrower)
(
transactionAmount
?Payment ?Interest)
(
destination
?Payment ?Lender))))
FinancialOntology.kif 1261-1271
Wenn
borrower
Loan
and
CognitiveAgent
und
lender
** Loan
and
** CognitiveAgent
und
agreementPeriod
** Loan
and
TimeInterval
und
interestEarned
** Loan
,
Interest
and
** TimeInterval
,
dann es gibt
FinancialTransaction
um
** FinancialTransaction
beginnet an
** CognitiveAgent
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** Interest
und
** FinancialTransaction
endet an
** ** CognitiveAgent
%n{nicht}
(=>
(
and
(
downPayment
?Loan ?Amount)
(
agreementEffectiveDate
?Loan ?Date))
(
exists
(?Payment)
(
and
(
transactionAmount
?Payment ?Amount)
(
date
?Payment ?Date)
(
destination
?Payment
(
CurrencyFn
?Loan)))))
FinancialOntology.kif 807-816
Wenn
downPayment
Loan
and
CurrencyMeasure
und
agreementEffectiveDate
** Loan
and
TimePoint
,
dann es gibt
FinancialTransaction
um
transactionAmount
** FinancialTransaction
and
** CurrencyMeasure
und
datum
von
** FinancialTransaction
ist
** TimePoint
%n{nicht} und
** FinancialTransaction
endet an
CurrencyFn
** Loan
%n{nicht}
(=>
(
and
(
instance
?AUCTIONS
Collection
)
(
forall
(?AUC)
(=>
(
member
?AUC ?AUCTIONS)
(
instance
?AUC
Auctioning
))))
(
exists
(?AMOUNT ?TOTAL_PURCHASE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
transactionAmount
?AUC ?AMOUNT)) ?TOTAL_PURCHASE_AMOUNT)
(
equal
(
AuctionGMBFn
?AUCTIONS) ?TOTAL_PURCHASE_AMOUNT))))
UXExperimentalTerms.kif 3202-3215
Wenn
Collection
ist ein
fall
von
Collection
%n{nicht} und fuer alle
Physical
wenn
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Physical
ist ein
fall
von
Auctioning
%n{nicht}
,
dann es gibt
SymbolicString
und
entity
_PURCHASE_AMOUNT um
total
die
kategorie
die
** SymbolicString
beschreibt and
** entity
_PURCHASE_AMOUNT und
AuctionGMBFn
** Collection
ist gleich
** entity
_PURCHASE_AMOUNT %n{nicht}
(=>
(
and
(
instance
?Account
CreditAccount
)
(
accountAt
?Account ?Organization)
(
accountHolder
?Account ?Agent)
(
interestEarned
?Account ?Interest ?Period))
(
exists
(?Payment)
(
and
(
origin
?Payment ?Agent)
(
transactionAmount
?Payment ?Interest)
(
destination
?Payment ?Organization))))
FinancialOntology.kif 1212-1222
Wenn
FinancialAccount
ist ein
fall
von
CreditAccount
%n{nicht} und
accountAt
** FinancialAccount
and
FinancialOrganization
und
accountHolder
** FinancialAccount
and
CognitiveAgent
und
interestEarned
** FinancialAccount
,
Interest
and
TimeInterval
,
dann es gibt
FinancialTransaction
um
** FinancialTransaction
beginnet an
** CognitiveAgent
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** Interest
und
** FinancialTransaction
endet an
** FinancialOrganization
%n{nicht}
(=>
(
and
(
instance
?Account
CreditAccount
)
(
accountHolder
?Account ?Agent)
(
principalAmount
?Account ?Principal)
(
agreementPeriod
?Account ?Period)
(
interestEarned
?Account ?Interest ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
holdsObligation
(
KappaFn
?Payment
(
transactionAmount
?Payment ?Total)) ?Agent))
FinancialOntology.kif 1224-1233
Wenn
FinancialAccount
ist ein
fall
von
CreditAccount
%n{nicht} und
accountHolder
** FinancialAccount
and
CognitiveAgent
und
principalAmount
** FinancialAccount
and
RealNumber
und
agreementPeriod
** FinancialAccount
and
TimeInterval
und
interestEarned
** FinancialAccount
,
Interest
and
** TimeInterval
und
** RealNumber
ist gleich (
** RealNumber
und
** Interest
) %n{nicht},
dann
** CognitiveAgent
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
and
(
instance
?Account
FinancialAccount
)
(
minimumBalance
?Account
OpeningAnAccount
(
MeasureFn
?Balance ?U))
(
instance
?U
UnitOfCurrency
))
(
exists
(?Payment ?Date ?Amount)
(
and
(
destination
?Payment
(
CurrencyFn
?Account))
(
transactionAmount
?Payment
(
MeasureFn
?Amount ?U))
(
greaterThanOrEqualTo
?Amount ?Balance)
(
agreementEffectiveDate
?Account ?Date)
(
date
?Payment ?Date))))
FinancialOntology.kif 686-699
Wenn
FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
minimumBalance
** FinancialAccount
,
OpeningAnAccount
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht},
dann es gibt
FinancialTransaction
,
TimePoint
, and und
** RealNumber
um
** FinancialTransaction
endet an
CurrencyFn
** FinancialAccount
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** ** RealNumber
** UnitOfMeasure
(s) und
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} und
agreementEffectiveDate
** FinancialAccount
and
** TimePoint
und
datum
von
** FinancialTransaction
ist
** TimePoint
%n{nicht}
(=>
(
and
(
instance
?Account
Loan
)
(
borrower
?Account ?Agent)
(
principalAmount
?Account ?Principal)
(
agreementPeriod
?Account ?Period)
(
interestEarned
?Account ?Interest ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
holdsObligation
(
KappaFn
?Payment
(
transactionAmount
?Payment ?Total)) ?Agent))
FinancialOntology.kif 1273-1282
Wenn
Loan
ist ein
fall
von
Loan
%n{nicht} und
borrower
** Loan
and
CognitiveAgent
und
principalAmount
** Loan
and
RealNumber
und
agreementPeriod
** Loan
and
TimeInterval
und
interestEarned
** Loan
,
Interest
and
** TimeInterval
und
** RealNumber
ist gleich (
** RealNumber
und
** Interest
) %n{nicht},
dann
** CognitiveAgent
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
and
(
instance
?Account
SavingsAccount
)
(
accountHolder
?Account ?Agent)
(
interestEarned
?Account ?Interest ?Period))
(
exists
(?Payment)
(
and
(
destination
?Payment
(
CurrencyFn
?Account))
(
transactionAmount
?Payment ?Interest)
(
destination
?Payment ?Agent))))
FinancialOntology.kif 1043-1052
Wenn
FinancialAccount
ist ein
fall
von
SavingsAccount
%n{nicht} und
accountHolder
** FinancialAccount
and
CognitiveAgent
und
interestEarned
** FinancialAccount
,
Interest
and
TimeInterval
,
dann es gibt
FinancialTransaction
um
** FinancialTransaction
endet an
CurrencyFn
** FinancialAccount
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** Interest
und
** FinancialTransaction
endet an
** CognitiveAgent
%n{nicht}
(=>
(
and
(
instance
?Bond
ZeroCouponBond
)
(
maturityDate
(
AccountFn
?Bond) ?Date)
(
possesses
?BondHolder ?Bond)
(
principalAmount
(
AccountFn
?Bond)
(
MeasureFn
?Principal ?CUNIT))
(
agreementPeriod
(
AccountFn
?Bond) ?Period)
(
interestEarned
(
AccountFn
?Bond)
(
MeasureFn
?Interest ?CUNIT) ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
exists
(?Payment)
(
and
(
instance
?Payment
Payment
)
(
destination
?Payment ?BondHolder)
(
origin
?Payment
(
AccountFn
?Bond))
(
transactionAmount
?Payment
(
MeasureFn
?Total ?CUNIT)))))
FinancialOntology.kif 2333-2355
Wenn
FinancialAsset
ist ein
fall
von
ZeroCouponBond
%n{nicht} und
maturityDate
AccountFn
** FinancialAsset
and
Day
und
** FinancialAsset
Holder besitzt
** FinancialAsset
%n{nicht} und
principalAmount
AccountFn
** FinancialAsset
and
RealNumber
UnitOfMeasure
(s) und
agreementPeriod
AccountFn
** FinancialAsset
and
TimeInterval
und
interestEarned
AccountFn
** FinancialAsset
,
** RealNumber
** UnitOfMeasure
(s) and
** TimeInterval
und
** RealNumber
ist gleich (
** RealNumber
und
** ** RealNumber
) %n{nicht},
dann es gibt
FinancialTransaction
um
** FinancialTransaction
ist ein
fall
von
Payment
%n{nicht} und
** FinancialTransaction
endet an
** FinancialAsset
Holder %n{nicht} und
** FinancialTransaction
beginnet an
AccountFn
** FinancialAsset
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** ** RealNumber
** UnitOfMeasure
(s)
(=>
(
and
(
instance
?Depositing
DepositingACheck
)
(
patient
?Depositing ?Check)
(
instance
?Check
Check
)
(
checkAccount
?Check ?Account)
(
monetaryValue
?Check ?Amount))
(
exists
(?Deposit)
(
and
(
instance
?Deposit
Deposit
)
(
destination
?Deposit
(
CurrencyFn
?Account))
(
transactionAmount
?Deposit ?Amount))))
FinancialOntology.kif 340-351
Wenn
Process
ist ein
fall
von
DepositingACheck
%n{nicht} und
Check
ist ein
patient
von
** Process
%n{nicht} und
** Check
ist ein
fall
von
Check
%n{nicht} und
checkAccount
** Check
and
FinancialAccount
und
wert
von
** Check
ist
CurrencyMeasure
,
dann es gibt
FinancialTransaction
um
** FinancialTransaction
ist ein
fall
von
Deposit
%n{nicht} und
** FinancialTransaction
endet an
CurrencyFn
** FinancialAccount
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** CurrencyMeasure
(=>
(
and
(
instance
?Loan
BalloonLoan
)
(
maturityDate
?Loan ?Date)
(
totalBalance
?Loan ?Amount)
(
borrower
?Loan ?Agent))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
date
?Payment ?Date)
(
transactionAmount
?Payment ?Amount)
(
destination
?Payment
(
CurrencyFn
?Loan)))) ?Agent))
FinancialOntology.kif 1411-1421
Wenn
Loan
ist ein
fall
von
BalloonLoan
%n{nicht} und
maturityDate
** Loan
and
Day
und
totalBalance
** Loan
and
CurrencyMeasure
und
borrower
** Loan
and
CognitiveAgent
,
dann
** CognitiveAgent
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
and
(
instance
?Loan
CallableLoan
)
(
lender
?Loan ?Lender)
(
borrower
?Loan ?Borrower)
(
totalBalance
?Loan ?Amount)
(
instance
?Call
Call
)
(
agent
?Call ?Lender)
(
patient
?Call ?Loan))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
destination
?Payment ?Lender)
(
time
?Payment
(
ImmediateFutureFn
(
WhenFn
?Call)))
(
transactionAmount
?Payment ?Amount))) ?Borrower))
FinancialOntology.kif 1428-1443
Wenn
Loan
ist ein
fall
von
CallableLoan
%n{nicht} und
lender
** Loan
and
CognitiveAgent
und
borrower
** Loan
and
** CognitiveAgent
und
totalBalance
** Loan
and
CurrencyMeasure
und
Process
ist ein
fall
von
Call
%n{nicht} und
** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** Loan
ist ein
patient
von
** Process
%n{nicht},
dann
** ** CognitiveAgent
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
and
(
instance
?PSP
ProfitSharingPlan
)
(
accountHolder
?PSP ?H)
(
employs
?O ?H)
(
profit
?A
(
MeasureFn
?P ?U))
(
instance
?U
UnitOfCurrency
)
(
agent
?A ?O))
(
exists
(?C ?PAY)
(
and
(
instance
?PAY
FinancialTransaction
)
(
transactionAmount
?PAY
(
MeasureFn
?C ?U))
(
lessThan
?C ?P)
(
destination
?PAY ?PSP))))
FinancialOntology.kif 1192-1207
Wenn
FinancialAccount
ist ein
fall
von
ProfitSharingPlan
%n{nicht} und
accountHolder
** FinancialAccount
and
CognitiveAgent
und
AutonomousAgent
beschaeftigt
** CognitiveAgent
%n{nicht} und
profit
FinancialTransaction
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** FinancialTransaction
ist der
agent
von
** AutonomousAgent
%n{nicht},
dann es gibt
** RealNumber
und
** RealNumber
AY um
** RealNumber
AY ist ein
fall
von
FinancialTransaction
%n{nicht} und
transactionAmount
** RealNumber
AY and
** ** RealNumber
** UnitOfMeasure
(s) und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht} und
** RealNumber
AY endet an
** FinancialAccount
%n{nicht}
(=>
(
and
(
instance
?PURCHASES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?PURCHASES)
(
instance
?MEMBER
Buying
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?BUYER ?BUYING)
(=>
(
and
(
instance
?BUYER
AutonomousAgent
)
(
instance
?BUYING
Buying
)
(
member
?BUYING ?PURCHASES)
(
agent
?BUYING ?BUYER))
(
located
?BUYER ?REGION))))))
(
exists
(?AMOUNT ?PURCHASE ?TOTAL_PURCHASE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE ?PURCHASES)
(
transactionAmount
?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT)
(
equal
(
GMBFn
?PURCHASES) ?TOTAL_PURCHASE_AMOUNT))))
UXExperimentalTerms.kif 2956-2983
Wenn
Collection
ist ein
fall
von
Collection
%n{nicht} und fuer alle
Physical
wenn
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Physical
ist ein
fall
von
Buying
%n{nicht}
und es gibt
Object
um
** Object
ist ein
fall
von
GeopoliticalArea
%n{nicht} und fuer alle
AutonomousAgent
und
Process
wenn
** AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
** Process
ist ein
fall
von
Buying
%n{nicht} und
** Process
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
befindet
sich an %n{nicht}
,
dann es gibt
SymbolicString
,
entity
, and und
** entity
_PURCHASE_AMOUNT um
total
die
kategorie
die
** SymbolicString
beschreibt and
** ** entity
_PURCHASE_AMOUNT und
GMBFn
** Collection
ist gleich
** ** entity
_PURCHASE_AMOUNT %n{nicht}
(=>
(
and
(
instance
?Refinancing
Refinancing
)
(
time
?Refinancing ?Time)
(
instance
?Loan
Loan
)
(
securedBy
?Loan ?Collateral)
(
borrower
?Loan ?Borrower)
(
currentAccountBalance
?Loan ?Time ?Amount)
(
patient
?Refinancing ?Loan))
(
exists
(?NewLoan ?Payment)
(
and
(
instance
?NewLoan
Loan
)
(
borrower
?NewLoan ?Borrower)
(
securedBy
?Loan ?Collateral)
(
destination
?Payment
(
CurrencyFn
?Loan))
(
time
?Payment ?Time)
(
origin
?Payment
(
CurrencyFn
?NewLoan))
(
transactionAmount
?Payment ?Amount))))
FinancialOntology.kif 1449-1466
Wenn
Process
ist ein
fall
von
Refinancing
%n{nicht} und
** Process
besteht
waehrend
Day
%n{nicht} und
Loan
ist ein
fall
von
Loan
%n{nicht} und
securedBy
** Loan
and
Collateral
und
borrower
** Loan
and
CognitiveAgent
und
currentAccountBalance
** Loan
,
** Day
and
CurrencyMeasure
und
** Loan
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
** Loan
und
FinancialTransaction
um
** ** Loan
ist ein
fall
von
Loan
%n{nicht} und
borrower
** ** Loan
and
** CognitiveAgent
und
securedBy
** Loan
and
** Collateral
und
** FinancialTransaction
endet an
CurrencyFn
** Loan
%n{nicht} und
** FinancialTransaction
besteht
waehrend
** Day
%n{nicht} und
** FinancialTransaction
beginnet an
CurrencyFn
** ** Loan
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** CurrencyMeasure
(=>
(
and
(
instance
?SALES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?SALES)
(
instance
?MEMBER
Selling
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?SELLER ?SELLING)
(=>
(
and
(
instance
?SELLER
AutonomousAgent
)
(
instance
?SELLING
Buying
)
(
member
?SELLING ?SALES)
(
agent
?SELLING ?SELLER))
(
located
?SELLER ?REGION))))))
(
exists
(?AMOUNT ?SALE ?TOTAL_SALE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?SALE
Selling
)
(
member
?SALE ?SALES)
(
transactionAmount
?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT)
(
equal
(
GMVFn
?SALES) ?TOTAL_SALE_AMOUNT))))
UXExperimentalTerms.kif 2999-3026
Wenn
Collection
ist ein
fall
von
Collection
%n{nicht} und fuer alle
Physical
wenn
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Physical
ist ein
fall
von
Selling
%n{nicht}
und es gibt
Object
um
** Object
ist ein
fall
von
GeopoliticalArea
%n{nicht} und fuer alle
AutonomousAgent
und
Process
wenn
** AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
** Process
ist ein
fall
von
Buying
%n{nicht} und
** Process
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
befindet
sich an %n{nicht}
,
dann es gibt
SymbolicString
,
entity
, and und
** entity
_SALE_AMOUNT um
total
die
kategorie
die
** SymbolicString
beschreibt and
** ** entity
_SALE_AMOUNT und
GMVFn
** Collection
ist gleich
** ** entity
_SALE_AMOUNT %n{nicht}
(=>
(
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
Wenn
wert
von
Check
ist
CurrencyMeasure
und
checkAccount
** Check
and
FinancialAccount
und
Process
ist ein
fall
von
ProcessingACheck
%n{nicht} und
** Check
ist ein
patient
von
** Process
%n{nicht} und die
zeit
des Bestehens von
** Process
ist gleich
** Process
Time %n{nicht},
dann es gibt
FinancialTransaction
und
** FinancialTransaction
Time um
** FinancialTransaction
ist ein
fall
von
Withdrawal
%n{nicht} und
** Check
ist ein
instrument
fuer
** FinancialTransaction
%n{nicht} und die
zeit
des Bestehens von
** FinancialTransaction
ist gleich
** FinancialTransaction
Time %n{nicht} und
** Process
Time
schliesst
** FinancialTransaction
Time zeitlich an und
transactionAmount
** FinancialTransaction
and
** CurrencyMeasure
und
** FinancialTransaction
beginnet an
** FinancialAccount
%n{nicht}
(=>
(
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
Wenn
wert
von
Object
ist
CurrencyMeasure
und
Process
ist ein
fall
von
ProcessingACheck
%n{nicht} und
** Object
ist ein
patient
von
** Process
%n{nicht} und
** Process
endet an
CurrencyFn
FinancialAccount
%n{nicht} und
** FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und die
zeit
des Bestehens von
** Process
ist gleich
** Process
Time %n{nicht},
dann es gibt
FinancialTransaction
und
** FinancialTransaction
Time um
** FinancialTransaction
ist ein
fall
von
Deposit
%n{nicht} und
** Object
ist ein
instrument
fuer
** FinancialTransaction
%n{nicht} und die
zeit
des Bestehens von
** FinancialTransaction
ist gleich
** FinancialTransaction
Time %n{nicht} und
** Process
Time
schliesst
** FinancialTransaction
Time zeitlich an und
transactionAmount
** FinancialTransaction
and
** CurrencyMeasure
und
** FinancialTransaction
endet an
CurrencyFn
** FinancialAccount
%n{nicht}
(=>
(
and
(
negotiatedPrice
?ENT ?PRICE ?AGREE)
(
partyToAgreement
?SELLER ?AGREE)
(
partyToAgreement
?BUYER ?AGREE))
(
agreementClause
(
exists
(?B ?ITEM)
(
and
(
instance
?B
Buying
)
(
patient
?B ?ITEM)
(
immediateInstance
?ITEM ?ENT)
(
agent
?B ?BUYER)
(
origin
?B ?SELLER)
(
transactionAmount
?B ?PRICE)))
Obligation
?AGREE ?SELLER))
Catalog.kif 311-324
Wenn
negotiatedPrice
** Physical
,
CurrencyMeasure
and
Agreement
und
partyToAgreement
CognitiveAgent
and
** Agreement
und
partyToAgreement
** CognitiveAgent
and
** Agreement
,
dann
agreementClause
es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Buying
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
** ** entity
ist ein
direkter
fall von
** Physical
und
** entity
ist der
agent
von
** ** CognitiveAgent
%n{nicht} und
** entity
beginnet an
** CognitiveAgent
%n{nicht} und
transactionAmount
** entity
and
** CurrencyMeasure
,
Obligation
,
** Agreement
and
** CognitiveAgent
(=>
(
and
(
negotiatedPrice
?ENT ?PRICE ?AGREE)
(
partyToAgreement
?SELLER ?AGREE)
(
partyToAgreement
?BUYER ?AGREE))
(
modalAttribute
(
exists
(?S ?ITEM)
(
and
(
instance
?S
Selling
)
(
patient
?S ?ITEM)
(
immediateInstance
?ITEM ?ENT)
(
agent
?S ?SELLER)
(
destination
?S ?BUYER)
(
transactionAmount
?S ?PRICE)))
Promise
))
Catalog.kif 276-289
Wenn
negotiatedPrice
** Physical
,
CurrencyMeasure
and
Agreement
und
partyToAgreement
CognitiveAgent
and
** Agreement
und
partyToAgreement
** CognitiveAgent
and
** Agreement
,
dann die Aussage es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Selling
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
** ** entity
ist ein
direkter
fall von
** Physical
und
** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** entity
endet an
** ** CognitiveAgent
%n{nicht} und
transactionAmount
** entity
and
** CurrencyMeasure
hat die modale Kraft von
Promise
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validFor
?PS ?CUSTCLASS)
(
instance
?CUSTOMER ?CUSTCLASS))
(
modalAttribute
(=>
(
and
(
instance
?B
Buying
)
(
agent
?B ?CUSTOMER)
(
origin
?B ?AGENT)
(
patient
?B ?ITEM))
(
transactionAmount
?B ?PRICE))
Likely
))
Catalog.kif 354-370
Wenn
publishedPrice
** Entity
,
CurrencyMeasure
,
CognitiveAgent
and
PricingScheme
oder
unitPrice
** Entity
,
FunctionQuantity
,
** CognitiveAgent
and
** PricingScheme
und
** ** Entity
ist eine
teilkategorie
von
Physical
und
** Entity
ist ein
direkter
fall von
** ** Entity
und
validFor
** PricingScheme
and
** AutonomousAgent
und
** Entity
ist ein
fall
von
** AutonomousAgent
%n{nicht},
dann die Aussage
wenn
** entity
ist ein
fall
von
Buying
%n{nicht} und
** ** entity
ist der
agent
von
** ** Entity
%n{nicht} und
** ** entity
beginnet an
** CognitiveAgent
%n{nicht} und
** ** Entity
ist ein
patient
von
** ** entity
%n{nicht},
dann
transactionAmount
** ** entity
and
** CurrencyMeasure
hat die modale Kraft von
Likely
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validityPeriod
?PS ?TIMEINT))
(
holdsDuring
?TIMEINT
(
modalAttribute
(=>
(
and
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?ITEM))
(
transactionAmount
?S ?PRICE))
Likely
)))
Catalog.kif 372-387
Wenn
publishedPrice
** Entity
,
CurrencyMeasure
,
CognitiveAgent
and
PricingScheme
oder
unitPrice
** Entity
,
FunctionQuantity
,
** CognitiveAgent
and
** PricingScheme
und
** ** Entity
ist eine
teilkategorie
von
Physical
und
** Entity
ist ein
direkter
fall von
** ** Entity
und
validityPeriod
** PricingScheme
and
TimeInterval
,
dann die Aussage
wenn
** entity
ist ein
fall
von
Selling
%n{nicht} und
** ** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** ** Entity
ist ein
patient
von
** ** entity
%n{nicht},
dann
transactionAmount
** ** entity
and
** CurrencyMeasure
hat die modale Kraft von
Likely
haelt
waehrend
** TimeInterval
%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
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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