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
每期付款
的 1 数量 是
金融账户
的
instance
(
domain
paymentsPerPeriod
2
CurrencyMeasure
)
FinancialOntology.kif 3856-3856
每期付款
的 2 数量 是
货币测量
的
instance
(
domain
paymentsPerPeriod
3
TimeInterval
)
FinancialOntology.kif 3857-3857
每期付款
的 3 数量 是
时距
的
instance
(
instance
paymentsPerPeriod
TernaryPredicate
)
FinancialOntology.kif 3854-3854
每期付款
是
三元谓语
的
instance
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
如果
责任账户
是
责任账户
的
instance
和
那个 责任账户
是 對於
月持续时间
的
minimum
費用
实数
测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和 有存在
过程
和
时距
这样
那个 时距
是
月
的
instance
和
那个 过程
在
那个 责任账户
的
currency
结束 和
那个 责任账户
payments
对于
那个 时距
每周期
另一个 实数
那个 测量单位
和
那个 另外 实数
是
lessThan
那个 实数
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
罚款
的
instance
和
那个 另外 过程
在
那个 责任账户
的
currency
结束
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