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
periodicPayment
Sigma KEE - periodicPayment
periodicPayment
appearance as argument number 1
(
documentation
periodicPayment
EnglishLanguage
"(
periodicPayment
?Pay ?Amount ?Period) holds if ?Pay is one of the periodic payments for the amount ?Amount.")
FinancialOntology.kif 739-740
(
domain
periodicPayment
1
FinancialAccount
)
FinancialOntology.kif 736-736
定期付款
的 1 数量 是
金融账户
的
instance
(
domain
periodicPayment
2
CurrencyMeasure
)
FinancialOntology.kif 737-737
定期付款
的 2 数量 是
货币测量
的
instance
(
domain
periodicPayment
3
TimeDuration
)
FinancialOntology.kif 738-738
定期付款
的 3 数量 是
持续时间
的
instance
(
instance
periodicPayment
TernaryPredicate
)
FinancialOntology.kif 735-735
定期付款
是
三元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
periodicPayment
"%1 %n 是 对于 %3 的 periodic 费用 %2 ")
domainEnglishFormat.kif 1947-1947
(
format
ChineseTraditionalLanguage
periodicPayment
"%1 %n 是 對於 %3 的 periodic 費用 %2 ")
domainEnglishFormat.kif 1946-1946
(
format
EnglishLanguage
periodicPayment
"%1 is %n periodic payment %2 for %3")
domainEnglishFormat.kif 1945-1945
(
termFormat
ChineseLanguage
periodicPayment
"定期付款")
domainEnglishFormat.kif 45210-45210
(
termFormat
ChineseTraditionalLanguage
periodicPayment
"定期付款")
domainEnglishFormat.kif 45209-45209
(
termFormat
EnglishLanguage
periodicPayment
"periodic payment")
domainEnglishFormat.kif 45208-45208
antecedent
(=>
(
periodicPayment
?Account ?Amount ?Period)
(
exists
(?Payment ?Class)
(
and
(
instance
?Payment
Payment
)
(
origin
?Payment
(
CurrencyFn
?Account))
(
transactionAmount
?Payment ?Amount)
(
instance
?Payment ?Class)
(
frequency
?Class ?Period))))
FinancialOntology.kif 742-750
如果
金融账户
是 对于
持续时间
的
periodic
费用
货币测量
,
然后 有存在
金融交易
和
有点 过程
这样
那个 金融交易
是
付款
的
instance
和
那个 金融账户
的
currency
是
那个 金融交易
的源头 和
那个 货币测量
是
那个 金融交易
的
transaction
总额 和
那个 金融交易
是
有点 过程
的
instance
和
那个 有点 过程
每
那个 持续时间
发生一次
consequent
(=>
(
and
(
instance
?Bond
Bond
)
(
couponInterest
?Bond ?Interest)
(
possesses
?BondHolder ?Bond))
(
exists
(?Period ?Payment)
(
and
(
periodicPayment
(
AccountFn
?Bond) ?Interest ?Period)
(
destination
?Payment ?BondHolder))))
FinancialOntology.kif 2270-2278
如果
键
是
键
的
instance
和
利益
是
那个 键
的
coupon
利息 和
那个 键
Holder
possesses
那个 键
,
然后 有存在
持续时间
和
过程
这样
那个 键
的帐号 是 对于
那个 持续时间
的
periodic
费用
那个 利益
和
那个 过程
在
那个 键
Holder 结束
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