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
域
交易金額
, 1 and
FinancialTransaction
(
domain
transactionAmount
2
CurrencyMeasure
)
Merge.kif 11851-11851
域
交易金額
, 2 and
CurrencyMeasure
(
instance
transactionAmount
BinaryPredicate
)
Merge.kif 11847-11847
例
交易金額
and
BinaryPredicate
(
instance
transactionAmount
SingleValuedRelation
)
Merge.kif 11848-11848
例
交易金額
and
SingleValuedRelation
(
instance
transactionAmount
TotalValuedRelation
)
Merge.kif 11849-11849
例
交易金額
and
TotalValuedRelation
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
子關係
收費金額
and
交易金額
(
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
例
FinancialTransaction
and
存款
例
金融賬戶
and
金融賬戶
目的地
FinancialTransaction
and
金融賬戶
的
currency
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
transaction
總額
金融賬戶
對於 %3 的
current
帳戶存款
等於
RealNumber
and
加成
RealNumber
and
RealNumber
金融賬戶
對於 %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 408-424
例
FinancialTransaction
and
付款
起源
FinancialTransaction
and
金融賬戶
的
currency
例
金融賬戶
and
金融賬戶
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
transaction
總額
金融賬戶
對於 %3 的
current
帳戶存款
等於
RealNumber
and
減法
RealNumber
and
RealNumber
金融賬戶
對於 %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 3838-3852
例
FinancialTransaction
and
FinancialTransaction
起源
FinancialTransaction
and
金融賬戶
的
currency
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
transaction
總額
例
UnitOfMeasure
and
UnitOfCurrency
例
Entity
and
貨幣
患者
FinancialTransaction
and
Entity
日期
FinancialTransaction
and
Day
RealNumber
金融賬戶
在
Day
的
available
cash
是
測量
RealNumber
and
UnitOfMeasure
大於或等於
RealNumber
and
RealNumber
(=>
(
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
例
FinancialTransaction
and
FinancialTransaction
起源
FinancialTransaction
and
金融賬戶
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
transaction
總額
例
UnitOfMeasure
and
UnitOfCurrency
日期
FinancialTransaction
and
Day
RealNumber
金融賬戶
在
Day
的
available
balance
是
測量
RealNumber
and
UnitOfMeasure
大於或等於
RealNumber
and
RealNumber
(=>
(
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
例
FinancialTransaction
and
退出
例
金融賬戶
and
金融賬戶
起源
FinancialTransaction
and
金融賬戶
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
transaction
總額
金融賬戶
對於 %3 的
current
帳戶存款
等於
RealNumber
and
減法
RealNumber
and
RealNumber
金融賬戶
對於 %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 834-842
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
日期
FinancialTransaction
and
Day
例
金融賬戶
and
金融賬戶
目的地
FinancialTransaction
and
金融賬戶
的
currency
金融賬戶
對於
TimeInterval
到期的
amount
CurrencyMeasure
之前
結束
Day
and
開始
TimeInterval
例
FinancialTransaction
and
預付款
(=>
(
transactionAmount
?TRANS ?AMOUNT)
(
exists
(?OBJ)
(
and
(
patient
?TRANS ?OBJ)
(
monetaryValue
?OBJ ?AMOUNT))))
Merge.kif 11857-11862
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
Physical
患者
FinancialTransaction
and
Physical
貨幣價值
Physical
and
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
agent
Process
and
AutonomousAgent
起源
Process
and
Object
患者
Process
and
Physical
貨幣價值
Physical
and
CurrencyMeasure
FinancialTransaction
子過程
FinancialTransaction
and
Process
例
FinancialTransaction
and
付款
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
起源
FinancialTransaction
and
AutonomousAgent
目的地
FinancialTransaction
and
Object
(=>
(
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
金融賬戶
對於
TimePosition
到期的
amount
CurrencyMeasure
CognitiveAgent
持有
account
金融賬戶
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
付款
CurrencyMeasure
是
SymbolicString
的
transaction
總額
目的地
SymbolicString
and
金融賬戶
的
currency
起源
SymbolicString
and
金融賬戶
的
currency
日期
SymbolicString
and
entity
之前或相等
結束
entity
and
開始
TimePosition
and
CognitiveAgent
(=>
(
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
貸款
是
CognitiveAgent
的
borrower
CognitiveAgent
lends
貸款
TimeInterval
是
貸款
的
agreement
週期
貸款
是 對於 %3 的賺取
interest
FinancialTransaction
起源
FinancialTransaction
and
CognitiveAgent
利益
是
FinancialTransaction
的
transaction
總額
目的地
FinancialTransaction
and
CognitiveAgent
(=>
(
and
(
downPayment
?Loan ?Amount)
(
agreementEffectiveDate
?Loan ?Date))
(
exists
(?Payment)
(
and
(
transactionAmount
?Payment ?Amount)
(
date
?Payment ?Date)
(
destination
?Payment
(
CurrencyFn
?Loan)))))
FinancialOntology.kif 807-816
CurrencyMeasure
是
貸款
的
down
費用
TimePoint
是
貸款
的
agreement
生效日期
FinancialTransaction
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
日期
FinancialTransaction
and
TimePoint
目的地
FinancialTransaction
and
貸款
的
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
例
Collection
and
Collection
Physical
會員
Physical
and
Collection
例
Physical
and
Auctioning
SymbolicString
entity
_PURCHASE_AMOUNT
total
價值在
卡帕
SymbolicString
and
SymbolicString
是
Physical
的
transaction
總額 是
entity
_PURCHASE_AMOUNT
等於
Collection
的
total
purchase
price
and
entity
_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 1212-1222
例
金融賬戶
and
信用賬戶
金融賬戶
是被
金融機構
held
CognitiveAgent
持有
account
金融賬戶
金融賬戶
是 對於 %3 的賺取
interest
FinancialTransaction
起源
FinancialTransaction
and
CognitiveAgent
利益
是
FinancialTransaction
的
transaction
總額
目的地
FinancialTransaction
and
金融機構
(=>
(
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
例
金融賬戶
and
信用賬戶
CognitiveAgent
持有
account
金融賬戶
RealNumber
是
金融賬戶
的
principal
總額
TimeInterval
是
金融賬戶
的
agreement
週期
金融賬戶
是 對於 %3 的賺取
interest
等於
RealNumber
and
加成
RealNumber
and
利益
持有義務
卡帕
SymbolicString
and
RealNumber
是
SymbolicString
的
transaction
總額 and
CognitiveAgent
(=>
(
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
例
金融賬戶
and
金融賬戶
金融賬戶
是 對於
測量
RealNumber
and
UnitOfMeasure
的
minimum
金額
開戶
例
UnitOfMeasure
and
UnitOfCurrency
FinancialTransaction
TimePoint
and
RealNumber
目的地
FinancialTransaction
and
金融賬戶
的
currency
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
transaction
總額
大於或等於
RealNumber
and
RealNumber
TimePoint
是
金融賬戶
的
agreement
生效日期
日期
FinancialTransaction
and
TimePoint
(=>
(
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
例
貸款
and
貸款
貸款
是
CognitiveAgent
的
borrower
RealNumber
是
貸款
的
principal
總額
TimeInterval
是
貸款
的
agreement
週期
貸款
是 對於 %3 的賺取
interest
等於
RealNumber
and
加成
RealNumber
and
利益
持有義務
卡帕
SymbolicString
and
RealNumber
是
SymbolicString
的
transaction
總額 and
CognitiveAgent
(=>
(
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
例
金融賬戶
and
儲蓄賬戶
CognitiveAgent
持有
account
金融賬戶
金融賬戶
是 對於 %3 的賺取
interest
FinancialTransaction
目的地
FinancialTransaction
and
金融賬戶
的
currency
利益
是
FinancialTransaction
的
transaction
總額
目的地
FinancialTransaction
and
CognitiveAgent
(=>
(
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
例
金融資產
and
零息債券
Day
是
金融資產
的帳號 的
maturity
日期
擁有
金融資產
Holder and
金融資產
測量
RealNumber
and
UnitOfMeasure
是
金融資產
的帳號 的
principal
總額
TimeInterval
是
金融資產
的帳號 的
agreement
週期
金融資產
的帳號 是 對於 %3 的賺取
interest
等於
RealNumber
and
加成
RealNumber
and
RealNumber
FinancialTransaction
例
FinancialTransaction
and
付款
目的地
FinancialTransaction
and
金融資產
Holder
起源
FinancialTransaction
and
金融資產
的帳號
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
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 340-351
例
Process
and
存款支票
患者
Process
and
校驗
例
校驗
and
校驗
金融賬戶
是
校驗
的
check
帳戶
貨幣價值
校驗
and
CurrencyMeasure
FinancialTransaction
例
FinancialTransaction
and
存款
目的地
FinancialTransaction
and
金融賬戶
的
currency
CurrencyMeasure
是
FinancialTransaction
的
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 1411-1421
例
貸款
and
氣球貸款
Day
是
貸款
的
maturity
日期
CurrencyMeasure
是
貸款
的
total
存款
貸款
是
CognitiveAgent
的
borrower
持有義務
卡帕
SymbolicString
and
日期
SymbolicString
and
Day
CurrencyMeasure
是
SymbolicString
的
transaction
總額
目的地
SymbolicString
and
貸款
的
currency
and
CognitiveAgent
(=>
(
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
例
貸款
and
可贖回貸款
CognitiveAgent
lends
貸款
貸款
是
CognitiveAgent
的
borrower
CurrencyMeasure
是
貸款
的
total
存款
例
Process
and
呼叫
agent
Process
and
CognitiveAgent
患者
Process
and
貸款
持有義務
卡帕
SymbolicString
and
目的地
SymbolicString
and
CognitiveAgent
時間
SymbolicString
and
眼前的未來
何時
Process
CurrencyMeasure
是
SymbolicString
的
transaction
總額 and
CognitiveAgent
(=>
(
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
例
金融賬戶
and
利潤分享計劃
CognitiveAgent
持有
account
金融賬戶
採用
AutonomousAgent
and
CognitiveAgent
從
FinancialTransaction
的
profit
是
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
agent
FinancialTransaction
and
AutonomousAgent
RealNumber
RealNumber
AY
例
RealNumber
AY and
FinancialTransaction
測量
RealNumber
and
UnitOfMeasure
是
RealNumber
AY 的
transaction
總額
少於
RealNumber
and
RealNumber
目的地
RealNumber
AY and
金融賬戶
(=>
(
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
例
Collection
and
Collection
Physical
會員
Physical
and
Collection
例
Physical
and
Buying
Object
例
Object
and
GeopoliticalArea
AutonomousAgent
Process
例
AutonomousAgent
and
AutonomousAgent
例
Process
and
Buying
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
位於
AutonomousAgent
and
Object
SymbolicString
entity
and
entity
_PURCHASE_AMOUNT
total
價值在
卡帕
SymbolicString
and
例
entity
and
Buying
會員
entity
and
Collection
SymbolicString
是
entity
的
transaction
總額 是
entity
_PURCHASE_AMOUNT
等於
Collection
的
value
and
entity
_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 1449-1466
例
Process
and
再融資
時間
Process
and
Day
例
貸款
and
貸款
抵押
是
貸款
的
secured
貸款
是
CognitiveAgent
的
borrower
貸款
對於 %3 的
current
帳戶存款
患者
Process
and
貸款
貸款
FinancialTransaction
例
貸款
and
貸款
貸款
是
CognitiveAgent
的
borrower
抵押
是
貸款
的
secured
目的地
FinancialTransaction
and
貸款
的
currency
時間
FinancialTransaction
and
Day
起源
FinancialTransaction
and
貸款
的
currency
CurrencyMeasure
是
FinancialTransaction
的
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
例
Collection
and
Collection
Physical
會員
Physical
and
Collection
例
Physical
and
Selling
Object
例
Object
and
GeopoliticalArea
AutonomousAgent
Process
例
AutonomousAgent
and
AutonomousAgent
例
Process
and
Buying
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
位於
AutonomousAgent
and
Object
SymbolicString
entity
and
entity
_SALE_AMOUNT
total
價值在
卡帕
SymbolicString
and
例
entity
and
Selling
會員
entity
and
Collection
SymbolicString
是
entity
的
transaction
總額 是
entity
_SALE_AMOUNT
等於
Collection
的
value
and
entity
_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 104-118
貨幣價值
校驗
and
CurrencyMeasure
金融賬戶
是
校驗
的
check
帳戶
例
Process
and
處理檢查
患者
Process
and
校驗
等於
何時
Process
and
Process
Time
FinancialTransaction
FinancialTransaction
Time
例
FinancialTransaction
and
退出
儀器
FinancialTransaction
and
校驗
等於
何時
FinancialTransaction
and
FinancialTransaction
Time
短暫相遇
Process
Time and
FinancialTransaction
Time
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
起源
FinancialTransaction
and
金融賬戶
(=>
(
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
貨幣價值
Object
and
CurrencyMeasure
例
Process
and
處理檢查
患者
Process
and
Object
目的地
Process
and
金融賬戶
的
currency
例
金融賬戶
and
金融賬戶
等於
何時
Process
and
Process
Time
FinancialTransaction
FinancialTransaction
Time
例
FinancialTransaction
and
存款
儀器
FinancialTransaction
and
Object
等於
何時
FinancialTransaction
and
FinancialTransaction
Time
短暫相遇
Process
Time and
FinancialTransaction
Time
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
目的地
FinancialTransaction
and
金融賬戶
的
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
對於
Physical
協商的
price
在
協議
是
CurrencyMeasure
協議
是
CognitiveAgent
的
party
協議
協議
是
CognitiveAgent
的
party
協議
CognitiveAgent
有義務去做在
協議
的
entity
entity
例
entity
and
Buying
患者
entity
and
entity
立即實例
entity
and
Physical
agent
entity
and
CognitiveAgent
起源
entity
and
CognitiveAgent
CurrencyMeasure
是
entity
的
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
對於
Physical
協商的
price
在
協議
是
CurrencyMeasure
協議
是
CognitiveAgent
的
party
協議
協議
是
CognitiveAgent
的
party
協議
模態屬性
entity
entity
例
entity
and
Selling
患者
entity
and
entity
立即實例
entity
and
Physical
agent
entity
and
CognitiveAgent
目的地
entity
and
CognitiveAgent
CurrencyMeasure
是
entity
的
transaction
總額 and
諾言
(=>
(
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
Entity
的
price
從
CognitiveAgent
根據
PricingScheme
是
CurrencyMeasure
unit
price
已收費
CognitiveAgent
在
PricingScheme
底下 對於
FunctionQuantity
是
Entity
子類
Entity
and
Physical
立即實例
Entity
and
Entity
PricingScheme
是
valid
對於
AutonomousAgent
例
Entity
and
AutonomousAgent
模態屬性
例
entity
and
Buying
agent
entity
and
Entity
起源
entity
and
CognitiveAgent
患者
entity
and
Entity
CurrencyMeasure
是
entity
的
transaction
總額
and
容易
(=>
(
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
Entity
的
price
從
CognitiveAgent
根據
PricingScheme
是
CurrencyMeasure
unit
price
已收費
CognitiveAgent
在
PricingScheme
底下 對於
FunctionQuantity
是
Entity
子類
Entity
and
Physical
立即實例
Entity
and
Entity
PricingScheme
是
valid
during
TimeInterval
持有期間
TimeInterval
and
模態屬性
例
entity
and
Selling
agent
entity
and
CognitiveAgent
患者
entity
and
Entity
CurrencyMeasure
是
entity
的
transaction
總額
and
容易
(=>
(
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
CognitiveAgent
sells
Entity
對於
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
Entity
的
price
從
CognitiveAgent
根據
PricingScheme
是
測量
RealNumber
and
UnitOfMeasure
PricingScheme
是
valid
對於
AutonomousAgent
例
Entity
and
Entity
例
Process
and
Buying
立即實例
AutonomousAgent
and
AutonomousAgent
agent
Process
and
AutonomousAgent
起源
Process
and
CognitiveAgent
少於
RealNumber
and
RealNumber
模態屬性
RealNumber
是
Process
的
transaction
總額 and
容易
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