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
amountDue
Sigma KEE - amountDue
amountDue
appearance as argument number 1
(
documentation
amountDue
EnglishLanguage
"(
amountDue
?ACCOUNT ?AMOUNT ?DATE) means ?DATE is the date on which the amount of Money ?AMOUNT of a particular ?ACCOUNT is due and payable")
FinancialOntology.kif 652-653
(
domain
amountDue
1
FinancialAccount
)
FinancialOntology.kif 649-649
域
到期金額
, 1 and
金融賬戶
(
domain
amountDue
2
CurrencyMeasure
)
FinancialOntology.kif 650-650
域
到期金額
, 2 and
CurrencyMeasure
(
domain
amountDue
3
TimePosition
)
FinancialOntology.kif 651-651
域
到期金額
, 3 and
TimePosition
(
instance
amountDue
TernaryPredicate
)
FinancialOntology.kif 648-648
例
到期金額
and
TernaryPredicate
appearance as argument number 2
(
format
ChineseLanguage
amountDue
"%1 %n{不是} 对于 %3 到期的
amount
%2")
domainEnglishFormat.kif 136-136
(
format
ChineseTraditionalLanguage
amountDue
"%1 %n{不是} 對於 %3 到期的
amount
%2 ")
domainEnglishFormat.kif 135-135
(
format
EnglishLanguage
amountDue
"%1 %n{doesn't}
amount
due %2 for %3")
domainEnglishFormat.kif 134-134
(
termFormat
ChineseLanguage
amountDue
"到期金额")
domainEnglishFormat.kif 7260-7260
(
termFormat
ChineseTraditionalLanguage
amountDue
"到期金額")
domainEnglishFormat.kif 7259-7259
(
termFormat
EnglishLanguage
amountDue
"amount due")
domainEnglishFormat.kif 7258-7258
antecedent
(=>
(
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
(
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
預付款
consequent
(=>
(
and
(
instance
?Bond
CallableBond
)
(
currentAccountBalance
(
AccountFn
?Bond) ?Date ?Amount)
(
callDate
?Bond ?Date))
(
amountDue
(
AccountFn
?Bond) ?Amount ?Date))
FinancialOntology.kif 2489-2494
例
鍵
and
可贖回的債券
鍵
的帳號 對於 %3 的
current
帳戶存款
Day
是
鍵
的
call
日期
鍵
的帳號 對於
Day
到期的
amount
CurrencyMeasure
(=>
(
and
(
instance
?Loan
InterestOnlyLoan
)
(
agreementPeriod
?Loan ?Period)
(
principalAmount
?Loan ?Principal)
(
interestEarned
?Loan ?Interest ?Period))
(
and
(
amountDue
?Loan ?Principal
(
EndFn
?Period))
(
amountDue
?Loan ?Interest ?Date)
(
before
(
EndFn
?Date)
(
EndFn
?Period))))
FinancialOntology.kif 1615-1624
例
金融賬戶
and
僅利息貸款
TimeInterval
是
金融賬戶
的
agreement
週期
CurrencyMeasure
是
金融賬戶
的
principal
總額
金融賬戶
是 對於 %3 的賺取
interest
金融賬戶
對於
結束
TimeInterval
到期的
amount
CurrencyMeasure
金融賬戶
對於
TimeInterval
到期的
amount
利益
之前
結束
TimeInterval
and
結束
TimeInterval
(=>
(
and
(
instance
?Loan
SinglePaymentLoan
)
(
principalAmount
?Loan ?Principal)
(
maturityDate
?Loan ?Maturity))
(
amountDue
?Loan ?Principal ?Maturity))
FinancialOntology.kif 1596-1601
例
金融賬戶
and
單筆付款貸款
CurrencyMeasure
是
金融賬戶
的
principal
總額
Day
是
金融賬戶
的
maturity
日期
金融賬戶
對於
Day
到期的
amount
CurrencyMeasure
(=>
(
and
(
maturityDate
?Account ?Date)
(
principalAmount
?Account ?Principal))
(
amountDue
?Account ?Principal ?Date))
FinancialOntology.kif 636-640
Day
是
金融賬戶
的
maturity
日期
CurrencyMeasure
是
金融賬戶
的
principal
總額
金融賬戶
對於
Day
到期的
amount
CurrencyMeasure
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