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
paymentsPerPeriod
Sigma KEE - paymentsPerPeriod
paymentsPerPeriod
appearance as argument number 1
(
documentation
paymentsPerPeriod
EnglishLanguage
"(
paymentsPerPeriod
?Account ?Amount ?Period) holds if ?Amount is the amount paid on the FinancialAccount ?Account during the time period ?Period.")
FinancialOntology.kif 3858-3860
(
domain
paymentsPerPeriod
1
FinancialAccount
)
FinancialOntology.kif 3855-3855
The number 1 argument of
payments per period
is an
instance
of
financial account
(
domain
paymentsPerPeriod
2
CurrencyMeasure
)
FinancialOntology.kif 3856-3856
The number 2 argument of
payments per period
is an
instance
of
currency measure
(
domain
paymentsPerPeriod
3
TimeInterval
)
FinancialOntology.kif 3857-3857
The number 3 argument of
payments per period
is an
instance
of
time interval
(
instance
paymentsPerPeriod
TernaryPredicate
)
FinancialOntology.kif 3854-3854
payments per period
is an
instance
of
ternary predicate
appearance as argument number 2
(
format
ChineseLanguage
paymentsPerPeriod
"%1 %n{不} payments 对于 %3 每周期 %2 ")
domainEnglishFormat.kif 1923-1923
(
format
ChineseTraditionalLanguage
paymentsPerPeriod
"%1 %n{不} payments 對於 %3 每周期 %2 ")
domainEnglishFormat.kif 1922-1922
(
format
EnglishLanguage
paymentsPerPeriod
"%1 %n{doesn't} payments per period %2 for %3")
domainEnglishFormat.kif 1921-1921
(
termFormat
ChineseLanguage
paymentsPerPeriod
"每期付款")
domainEnglishFormat.kif 44880-44880
(
termFormat
ChineseTraditionalLanguage
paymentsPerPeriod
"每期付款")
domainEnglishFormat.kif 44879-44879
(
termFormat
EnglishLanguage
paymentsPerPeriod
"payments per period")
domainEnglishFormat.kif 44878-44878
antecedent
(=>
(
and
(
instance
?Account
LiabilityAccount
)
(
minimumPayment
?Account
(
MeasureFn
?MinPayment ?U)
MonthDuration
)
(
instance
?U
UnitOfCurrency
)
(
exists
(?Payment ?Month)
(
and
(
instance
?Month
Month
)
(
destination
?Payment
(
CurrencyFn
?Account))
(
paymentsPerPeriod
?Account
(
MeasureFn
?Amount ?U) ?Month)
(
lessThan
?Amount ?MinPayment))))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?Account)))))
FinancialOntology.kif 759-775
If
a liability account
is an
instance
of
liability account
and
the liability account
is
minimum
payment
a real number
an unit of measure
(s) for
month duration
and
the unit of measure
is an
instance
of
unit of currency
and there exist
a process
and
a time interval
such that
the time interval
is an
instance
of
month
and
the process
end
s up at the
currency
of
the liability account
and
the liability account
payments
per period
another real number
the unit of measure
(s) for
the time interval
and
the other real number
is
less
than
the real number
,
then there exists
another process
such that
the other process
is an
instance
of
penalty
and
the other process
end
s up at the
currency
of
the liability account
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