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
Die Zahl 1 Argument von
amountDue
ist ein
fall
von
FinancialAccount
%n{nicht}
(
domain
amountDue
2
CurrencyMeasure
)
FinancialOntology.kif 650-650
Die Zahl 2 Argument von
amountDue
ist ein
fall
von
CurrencyMeasure
%n{nicht}
(
domain
amountDue
3
TimePosition
)
FinancialOntology.kif 651-651
Die Zahl 3 Argument von
amountDue
ist ein
fall
von
TimePosition
%n{nicht}
(
instance
amountDue
TernaryPredicate
)
FinancialOntology.kif 648-648
amountDue
ist ein
fall
von
TernaryPredicate
%n{nicht}
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
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
(
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}
consequent
(=>
(
and
(
instance
?Bond
CallableBond
)
(
currentAccountBalance
(
AccountFn
?Bond) ?Date ?Amount)
(
callDate
?Bond ?Date))
(
amountDue
(
AccountFn
?Bond) ?Amount ?Date))
FinancialOntology.kif 2489-2494
Wenn
Bond
ist ein
fall
von
CallableBond
%n{nicht} und
currentAccountBalance
AccountFn
** Bond
,
Day
and
CurrencyMeasure
und
callDate
** Bond
and
** Day
,
dann
amountDue
AccountFn
** Bond
,
** CurrencyMeasure
and
** Day
(=>
(
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
Wenn
FinancialAccount
ist ein
fall
von
InterestOnlyLoan
%n{nicht} und
agreementPeriod
** FinancialAccount
and
TimeInterval
und
principalAmount
** FinancialAccount
and
CurrencyMeasure
und
interestEarned
** FinancialAccount
,
Interest
and
** TimeInterval
,
dann
amountDue
** FinancialAccount
,
** CurrencyMeasure
and das
ende
von
** TimeInterval
und
amountDue
** FinancialAccount
,
** Interest
and
** TimeInterval
und das
ende
von
** ** TimeInterval
geschieht
vor
das
ende
von
** TimeInterval
%n{nicht}
(=>
(
and
(
instance
?Loan
SinglePaymentLoan
)
(
principalAmount
?Loan ?Principal)
(
maturityDate
?Loan ?Maturity))
(
amountDue
?Loan ?Principal ?Maturity))
FinancialOntology.kif 1596-1601
Wenn
FinancialAccount
ist ein
fall
von
SinglePaymentLoan
%n{nicht} und
principalAmount
** FinancialAccount
and
CurrencyMeasure
und
maturityDate
** FinancialAccount
and
Day
,
dann
amountDue
** FinancialAccount
,
** CurrencyMeasure
and
** Day
(=>
(
and
(
maturityDate
?Account ?Date)
(
principalAmount
?Account ?Principal))
(
amountDue
?Account ?Principal ?Date))
FinancialOntology.kif 636-640
Wenn
maturityDate
FinancialAccount
and
Day
und
principalAmount
** FinancialAccount
and
CurrencyMeasure
,
dann
amountDue
** FinancialAccount
,
** CurrencyMeasure
and
** Day
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