Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 12003-12005
(
documentation
transactionAmount
JapaneseLanguage
"(
transactionAmount
?TRANSACTION ?AMOUNT) は、?AMOUNT が
FinancialTransaction
?TRANSACTION に取り出されている
CurrencyMeasure
のインスタンスであることを意味する。")
japanese_format.kif 1868-1870
(
domain
transactionAmount
1
FinancialTransaction
)
Merge.kif 12000-12000
交易金额
的 1 数量 是
金融交易
的
instance
(
domain
transactionAmount
2
CurrencyMeasure
)
Merge.kif 12001-12001
交易金额
的 2 数量 是
货币测量
的
instance
(
instance
transactionAmount
BinaryPredicate
)
Merge.kif 11997-11997
交易金额
是
二元谓语
的
instance
(
instance
transactionAmount
SingleValuedRelation
)
Merge.kif 11998-11998
交易金额
是
单值关系
的
instance
(
instance
transactionAmount
TotalValuedRelation
)
Merge.kif 11999-11999
交易金额
是
总值关系
的
instance
appearance as argument number 2
(
format
ChineseLanguage
transactionAmount
"%2 %n 是 %1 的 transaction 总额")
domainEnglishFormat.kif 2539-2539
(
format
ChineseTraditionalLanguage
transactionAmount
"%2 %n 是 %1 的 transaction 總額")
domainEnglishFormat.kif 2538-2538
(
format
EnglishLanguage
transactionAmount
"%2 is %n a transaction amount of %1")
domainEnglishFormat.kif 2537-2537
(
subrelation
amountCharged
transactionAmount
)
FinancialOntology.kif 911-911
收费金额
是
交易金额
的
subrelation
(
termFormat
ChineseLanguage
transactionAmount
"交易金额")
domainEnglishFormat.kif 58804-58804
收费金额
是
交易金额
的
subrelation
(
termFormat
ChineseTraditionalLanguage
transactionAmount
"交易金額")
domainEnglishFormat.kif 58803-58803
收费金额
是
交易金额
的
subrelation
(
termFormat
EnglishLanguage
transactionAmount
"transaction amount")
domainEnglishFormat.kif 58802-58802
收费金额
是
交易金额
的
subrelation
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 438-455
如果
金融交易
是
存款
的
instance
和
金融账户
是
金融账户
的
instance
和
那个 金融交易
在
那个 金融账户
的
currency
结束 和
实数
测量单位
是
那个 金融交易
的
transaction
总额 和
那个 金融账户
对于 %3 的
current
帐户存款 和
equal
另一个 实数
and (
第三 实数
和
那个 实数
),
然后
那个 金融账户
对于 %3 的
current
帐户存款
(=>
(
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 410-426
如果
金融交易
是
付款
的
instance
和
金融账户
的
currency
是
那个 金融交易
的源头 和
那个 金融账户
是
金融账户
的
instance
和
实数
测量单位
是
那个 金融交易
的
transaction
总额 和
那个 金融账户
对于 %3 的
current
帐户存款 和
equal
另一个 实数
and (
第三 实数
和
那个 实数
),
然后
那个 金融账户
对于 %3 的
current
帐户存款
(=>
(
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 3856-3870
如果
金融交易
是
金融交易
的
instance
和
金融账户
的
currency
是
那个 金融交易
的源头 和
实数
测量单位
是
那个 金融交易
的
transaction
总额 和
那个 测量单位
是
UnitOfCurrency
的
instance
和
实体
是
货币
的
instance
和
那个 实体
是
那个 金融交易
的
patient
和
那个 金融交易
的
date
是
日
,
然后 有存在
另一个 实数
这样
那个 金融账户
在
那个 日
的
available
cash
是
那个 另外 实数
那个 测量单位
和
那个 实数
是
greaterThanOrEqualTo
那个 另外 实数
(=>
(
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 3833-3845
如果
金融交易
是
金融交易
的
instance
和
金融账户
是
那个 金融交易
的源头 和
实数
测量单位
是
那个 金融交易
的
transaction
总额 和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 金融交易
的
date
是
日
,
然后 有存在
另一个 实数
这样
那个 金融账户
在
那个 日
的
available
balance
是
那个 另外 实数
那个 测量单位
和
那个 实数
是
greaterThanOrEqualTo
那个 另外 实数
(=>
(
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 468-483
如果
金融交易
是
退出
的
instance
和
金融账户
是
金融账户
的
instance
和
那个 金融账户
是
那个 金融交易
的源头 和
实数
测量单位
是
那个 金融交易
的
transaction
总额 和
那个 金融账户
对于 %3 的
current
帐户存款 和
equal
另一个 实数
and (
第三 实数
和
那个 实数
),
然后
那个 金融账户
对于 %3 的
current
帐户存款
(=>
(
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 836-844
如果
货币测量
是
金融交易
的
transaction
总额 和
那个 金融交易
的
date
是
日
和
金融账户
是
金融账户
的
instance
和
那个 金融交易
在
那个 金融账户
的
currency
结束 和
那个 金融账户
对于
时距
到期的
amount
那个 货币测量
和
那个 日
的结束在
那个 时距
的开始
before
发生,
然后
那个 金融交易
是
预付款
的
instance
(=>
(
transactionAmount
?TRANS ?AMOUNT)
(
exists
(?OBJ)
(
and
(
patient
?TRANS ?OBJ)
(
monetaryValue
?OBJ ?AMOUNT))))
Merge.kif 12007-12012
如果
货币测量
是
金融交易
的
transaction
总额,
然后 有存在
物理
这样
那个 物理
是
那个 金融交易
的
patient
和
那个 物理
的价值 是
那个 货币测量
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 489-501
如果
施事体
是
过程
的
agent
和
客体
是
那个 过程
的源头 和
物理
是
那个 过程
的
patient
和
那个 物理
的价值 是
货币测量
,
然后 有存在
金融交易
这样
那个 金融交易
是
那个 过程
的
subProcess
和
那个 金融交易
是
付款
的
instance
和
那个 货币测量
是
那个 金融交易
的
transaction
总额 和
那个 施事体
是
那个 金融交易
的源头 和
那个 金融交易
在
那个 客体
结束
(=>
(
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 657-669
如果
金融账户
对于
时间位置
到期的
amount
货币测量
和
有认知的主事
持有
account
那个 金融账户
,
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
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 1277-1287
如果
贷款
是
有认知的主事
的
borrower
和
另一个 有认知的主事
lends
那个 贷款
和
时距
是
那个 贷款
的
agreement
週期 和
那个 贷款
是 对于 %3 的赚取
interest
,
然后 有存在
金融交易
这样
那个 有认知的主事
是
那个 金融交易
的源头 和
利益
是
那个 金融交易
的
transaction
总额 和
那个 金融交易
在
那个 另外 有认知的主事
结束
(=>
(
and
(
downPayment
?Loan ?Amount)
(
agreementEffectiveDate
?Loan ?Date))
(
exists
(?Payment)
(
and
(
transactionAmount
?Payment ?Amount)
(
date
?Payment ?Date)
(
destination
?Payment
(
CurrencyFn
?Loan)))))
FinancialOntology.kif 809-818
如果
货币测量
是
贷款
的
down
费用 和
时点
是
那个 贷款
的
agreement
生效日期,
然后 有存在
金融交易
这样
那个 货币测量
是
那个 金融交易
的
transaction
总额 和
那个 金融交易
的
date
是
那个 时点
和
那个 金融交易
在
那个 贷款
的
currency
结束
(=>
(
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
如果
群体
是
群体
的
instance
和 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后
那个 物理
是
Auctioning
的
instance
,
然后 有存在
符号串
和
实体
_PURCHASE_AMOUNT 这样
total
价值在
那个 符号串
所描述的类别 是
那个 实体
_PURCHASE_AMOUNT 和
equal
那个 群体
的
total
purchase
price
and
那个 实体
_PURCHASE_AMOUNT
(=>
(
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 1228-1238
如果
金融账户
是
信用账户
的
instance
和
那个 金融账户
是被
金融机构
held
和
有认知的主事
持有
account
那个 金融账户
和
那个 金融账户
是 对于 %3 的赚取
interest
,
然后 有存在
金融交易
这样
那个 有认知的主事
是
那个 金融交易
的源头 和
利益
是
那个 金融交易
的
transaction
总额 和
那个 金融交易
在
那个 金融机构
结束
(=>
(
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 1240-1249
如果
金融账户
是
信用账户
的
instance
和
有认知的主事
持有
account
那个 金融账户
和
实数
是
那个 金融账户
的
principal
总额 和
时距
是
那个 金融账户
的
agreement
週期 和
那个 金融账户
是 对于 %3 的赚取
interest
和
equal
另一个 实数
and (
那个 实数
和
利益
),
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
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 688-701
如果
金融账户
是
金融账户
的
instance
和
那个 金融账户
是 对于
实数
测量单位
的
minimum
金额
开户
和
那个 测量单位
是
UnitOfCurrency
的
instance
,
然后 有存在
金融交易
,
时点
, and 和
另一个 实数
这样
那个 金融交易
在
那个 金融账户
的
currency
结束 和
那个 另外 实数
那个 测量单位
是
那个 金融交易
的
transaction
总额 和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
和
那个 时点
是
那个 金融账户
的
agreement
生效日期 和
那个 金融交易
的
date
是
那个 时点
(=>
(
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 1289-1298
如果
贷款
是
贷款
的
instance
和
那个 贷款
是
有认知的主事
的
borrower
和
实数
是
那个 贷款
的
principal
总额 和
时距
是
那个 贷款
的
agreement
週期 和
那个 贷款
是 对于 %3 的赚取
interest
和
equal
另一个 实数
and (
那个 实数
和
利益
),
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
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 1045-1054
如果
金融账户
是
储蓄账户
的
instance
和
有认知的主事
持有
account
那个 金融账户
和
那个 金融账户
是 对于 %3 的赚取
interest
,
然后 有存在
金融交易
这样
那个 金融交易
在
那个 金融账户
的
currency
结束 和
利益
是
那个 金融交易
的
transaction
总额 和
那个 金融交易
在
那个 有认知的主事
结束
(=>
(
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 2350-2372
如果
金融资产
是
零息债券
的
instance
和
日
是
那个 金融资产
的帐号 的
maturity
日期 和
那个 金融资产
Holder
possesses
那个 金融资产
和
实数
测量单位
是
那个 金融资产
的帐号 的
principal
总额 和
时距
是
那个 金融资产
的帐号 的
agreement
週期 和
那个 金融资产
的帐号 是 对于 %3 的赚取
interest
和
equal
另一个 实数
and (
那个 实数
和
第三 实数
),
然后 有存在
金融交易
这样
那个 金融交易
是
付款
的
instance
和
那个 金融交易
在
那个 金融资产
Holder 结束 和
那个 金融资产
的帐号 是
那个 金融交易
的源头 和
那个 另外 实数
那个 测量单位
是
那个 金融交易
的
transaction
总额
(=>
(
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 342-353
如果
过程
是
存款支票
的
instance
和
校验
是
那个 过程
的
patient
和
那个 校验
是
校验
的
instance
和
金融账户
是
那个 校验
的
check
帐户 和
那个 校验
的价值 是
货币测量
,
然后 有存在
金融交易
这样
那个 金融交易
是
存款
的
instance
和
那个 金融交易
在
那个 金融账户
的
currency
结束 和
那个 货币测量
是
那个 金融交易
的
transaction
总额
(=>
(
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 1427-1437
如果
贷款
是
气球贷款
的
instance
和
日
是
那个 贷款
的
maturity
日期 和
货币测量
是
那个 贷款
的
total
存款 和
那个 贷款
是
有认知的主事
的
borrower
,
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
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 1444-1459
如果
贷款
是
可赎回贷款
的
instance
和
有认知的主事
lends
那个 贷款
和
那个 贷款
是
另一个 有认知的主事
的
borrower
和
货币测量
是
那个 贷款
的
total
存款 和
过程
是
呼叫
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
和
那个 贷款
是
那个 过程
的
patient
,
然后
那个 另外 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
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 1208-1223
如果
金融账户
是
利润分享计划
的
instance
和
有认知的主事
持有
account
那个 金融账户
和
施事体
employs
那个 有认知的主事
和 从
金融交易
的
profit
是
实数
测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 施事体
是
那个 金融交易
的
agent
,
然后 有存在
另一个 实数
和
那个 实数
AY 这样
那个 实数
AY 是
金融交易
的
instance
和
那个 另外 实数
那个 测量单位
是
那个 实数
AY 的
transaction
总额 和
那个 另外 实数
是
lessThan
那个 实数
和
那个 实数
AY 在
那个 金融账户
结束
(=>
(
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
如果
群体
是
群体
的
instance
和 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后
那个 物理
是
购买
的
instance
和 有存在
客体
这样
那个 客体
是
地缘政治区域
的
instance
和 对所有
施事体
和
过程
如果
那个 施事体
是
施事体
的
instance
和
那个 过程
是
购买
的
instance
和
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
,
然后
那个 施事体
是
located
在
那个 客体
,
然后 有存在
符号串
,
实体
, and 和
另一个 实体
_PURCHASE_AMOUNT 这样
total
价值在
那个 符号串
所描述的类别 是
那个 另外 实体
_PURCHASE_AMOUNT 和
equal
那个 群体
的
value
and
那个 另外 实体
_PURCHASE_AMOUNT
(=>
(
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 1465-1482
如果
过程
是
再融资
的
instance
和
那个 过程
在
日
是 存在 和
贷款
是
贷款
的
instance
和
抵押
是
那个 贷款
的
secured
和
那个 贷款
是
有认知的主事
的
borrower
和
那个 贷款
对于 %3 的
current
帐户存款 和
那个 贷款
是
那个 过程
的
patient
,
然后 有存在
另一个 贷款
和
金融交易
这样
那个 另外 贷款
是
贷款
的
instance
和
那个 另外 贷款
是
那个 有认知的主事
的
borrower
和
那个 抵押
是
那个 贷款
的
secured
和
那个 金融交易
在
那个 贷款
的
currency
结束 和
那个 金融交易
在
那个 日
是 存在 和
那个 另外 贷款
的
currency
是
那个 金融交易
的源头 和
货币测量
是
那个 金融交易
的
transaction
总额
(=>
(
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
如果
群体
是
群体
的
instance
和 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后
那个 物理
是
出售
的
instance
和 有存在
客体
这样
那个 客体
是
地缘政治区域
的
instance
和 对所有
施事体
和
过程
如果
那个 施事体
是
施事体
的
instance
和
那个 过程
是
购买
的
instance
和
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
,
然后
那个 施事体
是
located
在
那个 客体
,
然后 有存在
符号串
,
实体
, and 和
另一个 实体
_SALE_AMOUNT 这样
total
价值在
那个 符号串
所描述的类别 是
那个 另外 实体
_SALE_AMOUNT 和
equal
那个 群体
的
value
and
那个 另外 实体
_SALE_AMOUNT
(=>
(
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 106-120
如果
校验
的价值 是
货币测量
和
金融账户
是
那个 校验
的
check
帐户 和
过程
是
处理检查
的
instance
和
那个 校验
是
那个 过程
的
patient
和
equal
那个 过程
出现 的
time
and
那个 过程
Time,
然后 有存在
金融交易
和
那个 金融交易
Time 这样
那个 金融交易
是
退出
的
instance
和
那个 校验
是导致
那个 金融交易
的
instrument
和
equal
那个 金融交易
出现 的
time
and
那个 金融交易
Time 和
那个 过程
Time 接着
那个 金融交易
Time 和
那个 货币测量
是
那个 金融交易
的
transaction
总额 和
那个 金融账户
是
那个 金融交易
的源头
(=>
(
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 122-137
如果
客体
的价值 是
货币测量
和
过程
是
处理检查
的
instance
和
那个 客体
是
那个 过程
的
patient
和
那个 过程
在
金融账户
的
currency
结束 和
那个 金融账户
是
金融账户
的
instance
和
equal
那个 过程
出现 的
time
and
那个 过程
Time,
然后 有存在
金融交易
和
那个 金融交易
Time 这样
那个 金融交易
是
存款
的
instance
和
那个 客体
是导致
那个 金融交易
的
instrument
和
equal
那个 金融交易
出现 的
time
and
那个 金融交易
Time 和
那个 过程
Time 接着
那个 金融交易
Time 和
那个 货币测量
是
那个 金融交易
的
transaction
总额 和
那个 金融交易
在
那个 金融账户
的
currency
结束
(=>
(
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
如果 对于
有点 物理
协商的 &egotiatedPrice$"price" 在
协议
是
货币测量
和
那个 协议
是
有认知的主事
的
party
协议 和
那个 协议
是
另一个 有认知的主事
的
party
协议,
然后
那个 有认知的主事
有义务去做在
那个 协议
的 有存在
实体
和
另一个 实体
这样
那个 实体
是
购买
的
instance
和
那个 另外 实体
是
那个 实体
的
patient
和
那个 另外 实体
是
有点 物理
的
immediateInstance
和
那个 另外 有认知的主事
是
那个 实体
的
agent
和
那个 有认知的主事
是
那个 实体
的源头 和
那个 货币测量
是
那个 实体
的
transaction
总额
义务
(=>
(
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
如果 对于
有点 物理
协商的 &egotiatedPrice$"price" 在
协议
是
货币测量
和
那个 协议
是
有认知的主事
的
party
协议 和
那个 协议
是
另一个 有认知的主事
的
party
协议,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
出售
的
instance
和
那个 另外 实体
是
那个 实体
的
patient
和
那个 另外 实体
是
有点 物理
的
immediateInstance
和
那个 有认知的主事
是
那个 实体
的
agent
和
那个 实体
在
那个 另外 有认知的主事
结束 和
那个 货币测量
是
那个 实体
的
transaction
总额 的声明 has
诺言
的语气
(=>
(
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
如果
有点 实体
的
price
从
有认知的主事
根据
PricingScheme
是
货币测量
或
unit
price
已收费
那个 有认知的主事
在
那个 PricingScheme
底下 对于
函数量
是
有点 实体
和
那个 有点 实体
是
物理
的
subclass
和
另一个 实体
是
那个 有点 实体
的
immediateInstance
和
那个 PricingScheme
是
valid
对于
有点 施事体
和
第三 实体
是
有点 施事体
的
instance
,
然后
如果
第四 实体
是
购买
的
instance
和
那个 第三 实体
是
那个 第四 实体
的
agent
和
那个 有认知的主事
是
那个 第四 实体
的源头 和
那个 另外 实体
是
那个 第四 实体
的
patient
,
然后
那个 货币测量
是
那个 第四 实体
的
transaction
总额
的声明 has
容易
的语气
(=>
(
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
如果
有点 实体
的
price
从
有认知的主事
根据
PricingScheme
是
货币测量
或
unit
price
已收费
那个 有认知的主事
在
那个 PricingScheme
底下 对于
函数量
是
有点 实体
和
那个 有点 实体
是
物理
的
subclass
和
另一个 实体
是
那个 有点 实体
的
immediateInstance
和
那个 PricingScheme
是
valid
during
时距
,
然后
如果
第三 实体
是
出售
的
instance
和
那个 有认知的主事
是
那个 第三 实体
的
agent
和
那个 另外 实体
是
那个 第三 实体
的
patient
,
然后
那个 货币测量
是
那个 第三 实体
的
transaction
总额
的声明 has
容易
的语气 在
那个 时距
holdsDuring
(=>
(
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
如果
有认知的主事
sells
有点 实体
對於
实数
测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
有点 实体
的
price
从
那个 有认知的主事
根据
PricingScheme
是
另一个 实数
那个 测量单位
和
那个 PricingScheme
是
valid
对于
有点 施事体
和
另一个 实体
是
那个 有点 实体
的
instance
和
过程
是
购买
的
instance
和
另一个 施事体
是
有点 施事体
的
immediateInstance
和
那个 另外 施事体
是
那个 过程
的
agent
和
那个 有认知的主事
是
那个 过程
的源头 和
那个 另外 实数
是
lessThan
那个 实数
,
然后
那个 实数
是
那个 过程
的
transaction
总额 的声明 has
容易
的语气
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