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
agreementPeriod
Sigma KEE - agreementPeriod
agreementPeriod
appearance as argument number 1
(
documentation
agreementPeriod
EnglishLanguage
"(
agreementPeriod
?AGREEMENT ?DURATION) holds if ?DURATION specifies a
TimeDuration
, which is the length of time that the ?AGREEMENT is
ActiveAgreement
.")
Mid-level-ontology.kif 14012-14014
(
domain
agreementPeriod
1
Agreement
)
Mid-level-ontology.kif 14010-14010
协议期限
的 1 数量 是
协议
的
instance
(
domain
agreementPeriod
2
TimeInterval
)
Mid-level-ontology.kif 14011-14011
协议期限
的 2 数量 是
时距
的
instance
(
instance
agreementPeriod
BinaryPredicate
)
Mid-level-ontology.kif 14009-14009
协议期限
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
agreementPeriod
"%2 是 %1 的 agreement 週期")
domainEnglishFormat.kif 96-96
(
format
ChineseTraditionalLanguage
agreementPeriod
"%2 是 %1 的 agreement 週期")
domainEnglishFormat.kif 95-95
(
format
EnglishLanguage
agreementPeriod
"%2 is %n an agreement period of %1")
domainEnglishFormat.kif 94-94
(
termFormat
ChineseLanguage
agreementPeriod
"协议期限")
domainEnglishFormat.kif 5922-5922
(
termFormat
ChineseTraditionalLanguage
agreementPeriod
"協議期限")
domainEnglishFormat.kif 5921-5921
(
termFormat
EnglishLanguage
agreementPeriod
"agreement period")
domainEnglishFormat.kif 5920-5920
antecedent
(<=>
(
and
(
agreementPeriod
?Account ?Period)
(
finishes
?End ?Period))
(
maturityDate
?Account ?End))
FinancialOntology.kif 642-646
时距
是
金融账户
的
agreement
週期 和
日
finishes
了才到
那个 时距
若且唯若
那个 日
是
那个 金融账户
的
maturity
日期
(<=>
(
exists
(?Period)
(
and
(
instance
?Loan
Loan
)
(
agreementPeriod
?Loan ?Period)
(
interestEarned
?Loan ?Amount ?Period)))
(
loanInterest
?Loan ?Amount))
FinancialOntology.kif 3920-3926
有存在
时距
这样
贷款
是
贷款
的
instance
和
那个 时距
是
那个 贷款
的
agreement
週期 和
那个 贷款
是 对于 %3 的赚取
interest
若且唯若
利益
是
那个 贷款
的
loan
利息
(=>
(
and
(
agreementPeriod
?AGREEMENT ?DURATION)
(
agreementEffectiveDate
?AGREEMENT ?STARTDATE))
(
holdsDuring
(
TimePeriodFn
?STARTDATE ?DURATION)
(
property
?AGREEMENT
ActiveAgreement
)))
Mid-level-ontology.kif 14016-14021
如果
时距
是
协议
的
agreement
週期 和
时点
是
那个 协议
的
agreement
生效日期,
然后
那个 协议
有
ActiveAgreement
的
attribute
在
time
开始在
那个 时点
并且 持续到
那个 时距
holdsDuring
(=>
(
and
(
attribute
?Order
FOKOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Fill ?Time1)
(
and
(
instance
?Fill
FillingAnOrder
)
(
patient
?Fill ?Order)
(
equal
(
WhenFn
?Fill) ?Time1)
(
starts
?Time1 ?Period)))
(
exists
(?Kill ?Time2)
(
and
(
instance
?Kill
CancellingAnOrder
)
(
patient
?Kill ?Order)
(
equal
(
WhenFn
?Kill) ?Time2)
(
starts
?Time2 ?Period)))))
FinancialOntology.kif 2881-2897
如果
FOK订单
是
协议
的
attribute
和
时距
是
那个 协议
的
agreement
週期,
然后 有存在
过程
和
另一个 时距
这样
那个 过程
是
填写订单
的
instance
和
那个 协议
是
那个 过程
的
patient
和
那个 过程
出现 的
time
equal
那个 另外 时距
和
那个 另外 时距
starts
了才到
那个 时距
或 有存在
另一个 过程
和
第三 时距
这样
那个 另外 过程
是
取消订单
的
instance
和
那个 协议
是
那个 另外 过程
的
patient
和
那个 另外 过程
出现 的
time
equal
那个 第三 时距
和
那个 第三 时距
starts
了才到
那个 时距
(=>
(
and
(
attribute
?Order
GTCOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Execute ?Time)
(
and
(
instance
?Execute
FillingAnOrder
)
(
patient
?Execute ?Order)
(
equal
(
WhenFn
?Execute) ?Time)
(
overlapsTemporally
?Time ?Period)))
(
exists
(?Cancel ?End)
(
and
(
instance
?Cancel
CancellingAnOrder
)
(
patient
?Cancel ?Order)
(
equal
(
WhenFn
?Cancel) ?End)
(
finishes
?End ?Period)))))
FinancialOntology.kif 2917-2933
如果
GTC订单
是
协议
的
attribute
和
时距
是
那个 协议
的
agreement
週期,
然后 有存在
过程
和
另一个 时距
这样
那个 过程
是
填写订单
的
instance
和
那个 协议
是
那个 过程
的
patient
和
那个 过程
出现 的
time
equal
那个 另外 时距
和
那个 时距
时段 和
那个 另外 时距
重叠 或 有存在
另一个 过程
和
第三 时距
这样
那个 另外 过程
是
取消订单
的
instance
和
那个 协议
是
那个 另外 过程
的
patient
和
那个 另外 过程
出现 的
time
equal
那个 第三 时距
和
那个 第三 时距
finishes
了才到
那个 时距
(=>
(
and
(
attribute
?Order
IOCOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Fill ?Time1)
(
and
(
instance
?Fill
FillingAnOrder
)
(
patient
?Fill ?Order)
(
equal
(
WhenFn
?Fill) ?Time1)
(
starts
?Time1 ?Period)))
(
exists
(?Kill ?Time2)
(
and
(
instance
?Kill
CancellingAnOrder
)
(
patient
?Kill ?Order)
(
equal
(
WhenFn
?Kill) ?Time2)
(
starts
?Time2 ?Period)))))
FinancialOntology.kif 2854-2870
如果
国际奥委会订单
是
协议
的
attribute
和
时距
是
那个 协议
的
agreement
週期,
然后 有存在
过程
和
另一个 时距
这样
那个 过程
是
填写订单
的
instance
和
那个 协议
是
那个 过程
的
patient
和
那个 过程
出现 的
time
equal
那个 另外 时距
和
那个 另外 时距
starts
了才到
那个 时距
或 有存在
另一个 过程
和
第三 时距
这样
那个 另外 过程
是
取消订单
的
instance
和
那个 协议
是
那个 另外 过程
的
patient
和
那个 另外 过程
出现 的
time
equal
那个 第三 时距
和
那个 第三 时距
starts
了才到
那个 时距
(=>
(
and
(
borrower
?Loan ?Borrower)
(
lender
?Loan ?Lender)
(
agreementPeriod
?Loan ?Period)
(
interestEarned
?Loan ?Interest ?Period))
(
exists
(?Payment)
(
and
(
origin
?Payment ?Borrower)
(
transactionAmount
?Payment ?Interest)
(
destination
?Payment ?Lender))))
FinancialOntology.kif 1261-1271
如果
贷款
是
有认知的主事
的
borrower
和
另一个 有认知的主事
lends
那个 贷款
和
时距
是
那个 贷款
的
agreement
週期 和
那个 贷款
是 对于 %3 的赚取
interest
,
然后 有存在
金融交易
这样
那个 有认知的主事
是
那个 金融交易
的源头 和
利益
是
那个 金融交易
的
transaction
总额 和
那个 金融交易
在
那个 另外 有认知的主事
结束
(=>
(
and
(
instance
?Account
CreditAccount
)
(
accountHolder
?Account ?Agent)
(
principalAmount
?Account ?Principal)
(
agreementPeriod
?Account ?Period)
(
interestEarned
?Account ?Interest ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
holdsObligation
(
KappaFn
?Payment
(
transactionAmount
?Payment ?Total)) ?Agent))
FinancialOntology.kif 1224-1233
如果
金融账户
是
信用账户
的
instance
和
有认知的主事
持有
account
那个 金融账户
和
实数
是
那个 金融账户
的
principal
总额 和
时距
是
那个 金融账户
的
agreement
週期 和
那个 金融账户
是 对于 %3 的赚取
interest
和
另一个 实数
equal
(
那个 实数
和
利益
),
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
and
(
instance
?Account
Loan
)
(
borrower
?Account ?Agent)
(
principalAmount
?Account ?Principal)
(
agreementPeriod
?Account ?Period)
(
interestEarned
?Account ?Interest ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
holdsObligation
(
KappaFn
?Payment
(
transactionAmount
?Payment ?Total)) ?Agent))
FinancialOntology.kif 1273-1282
如果
贷款
是
贷款
的
instance
和
那个 贷款
是
有认知的主事
的
borrower
和
实数
是
那个 贷款
的
principal
总额 和
时距
是
那个 贷款
的
agreement
週期 和
那个 贷款
是 对于 %3 的赚取
interest
和
另一个 实数
equal
(
那个 实数
和
利益
),
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
and
(
instance
?Bond
ZeroCouponBond
)
(
maturityDate
(
AccountFn
?Bond) ?Date)
(
possesses
?BondHolder ?Bond)
(
principalAmount
(
AccountFn
?Bond)
(
MeasureFn
?Principal ?CUNIT))
(
agreementPeriod
(
AccountFn
?Bond) ?Period)
(
interestEarned
(
AccountFn
?Bond)
(
MeasureFn
?Interest ?CUNIT) ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
exists
(?Payment)
(
and
(
instance
?Payment
Payment
)
(
destination
?Payment ?BondHolder)
(
origin
?Payment
(
AccountFn
?Bond))
(
transactionAmount
?Payment
(
MeasureFn
?Total ?CUNIT)))))
FinancialOntology.kif 2333-2355
如果
金融资产
是
零息债券
的
instance
和
日
是
那个 金融资产
的帐号 的
maturity
日期 和
那个 金融资产
Holder
possesses
那个 金融资产
和
实数
测量单位
是
那个 金融资产
的帐号 的
principal
总额 和
时距
是
那个 金融资产
的帐号 的
agreement
週期 和
那个 金融资产
的帐号 是 对于 %3 的赚取
interest
和
另一个 实数
equal
(
那个 实数
和
第三 实数
),
然后 有存在
金融交易
这样
那个 金融交易
是
付款
的
instance
和
那个 金融交易
在
那个 金融资产
Holder 结束 和
那个 金融资产
的帐号 是
那个 金融交易
的源头 和
那个 另外 实数
那个 测量单位
是
那个 金融交易
的
transaction
总额
(=>
(
and
(
instance
?Loan
BankTermLoan
)
(
agreementPeriod
?Loan ?Period)
(
duration
?Period
(
MeasureFn
?Duration
YearDuration
)))
(
greaterThanOrEqualTo
?Duration 1))
FinancialOntology.kif 1497-1502
如果
协议
是
银行定期贷款
的
instance
和
时距
是
那个 协议
的
agreement
週期 和
那个 时距
的
duration
是
实数
年持续时间
,
然后
那个 实数
是
greaterThanOrEqualTo
1
(=>
(
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
如果
金融账户
是
仅利息贷款
的
instance
和
时距
是
那个 金融账户
的
agreement
週期 和
货币测量
是
那个 金融账户
的
principal
总额 和
那个 金融账户
是 对于 %3 的赚取
interest
,
然后
那个 金融账户
对于
那个 时距
的结束 到期的
amount
那个 货币测量
和
那个 金融账户
对于
另一个 时距
到期的
amount
利益
和
那个 另外 时距
的结束%n在
那个 时距
的结束
before
发生
(=>
(
and
(
loanFeeAmount
?Loan ?Amount)
(
agreementPeriod
?Loan ?Period))
(
interestEarned
?Loan ?Amount ?Period))
FinancialOntology.kif 4162-4166
如果
利益
贷款
那个 利益
是
那个 贷款
的
loan
金额 和
时距
是
那个 贷款
的
agreement
週期,
然后
那个 贷款
是 对于 %3 的赚取
interest
consequent
(=>
(
and
(
instance
?Opening
OpeningAnAccount
)
(
eventLocated
?Opening ?Bank)
(
instance
?Bank
FinancialOrganization
)
(
agent
?Opening ?Agent)
(
equal
(
WhenFn
?Opening) ?OpeningTime))
(
exists
(?Account ?AccountPeriod)
(
and
(
agreementPeriod
?Account ?AccountPeriod)
(
meetsTemporally
?OpeningTime ?AccountPeriod)
(
instance
?Account
FinancialAccount
)
(
accountAt
?Account ?Bank)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 293-306
如果
过程
是
开户
的
instance
和
那个 过程
是
located
在
金融机构
和
那个 金融机构
是
金融机构
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
那个 过程
出现 的
time
equal
那个 过程
Time,
然后 有存在
金融账户
和
那个 金融账户
Period 这样
那个 金融账户
Period 是
那个 金融账户
的
agreement
週期 和
那个 过程
Time 接着
那个 金融账户
Period 和
那个 金融账户
是
金融账户
的
instance
和
那个 金融账户
是被
那个 金融机构
held
和
那个 有认知的主事
持有
account
那个 金融账户
(=>
(
instance
?Loan
DayLoan
)
(
and
(
agreementPeriod
?Loan ?Period)
(
duration
?Period
(
MeasureFn
1
DayDuration
))))
FinancialOntology.kif 1579-1583
如果
协议
是
一天的贷款
的
instance
,
然后
时距
是
那个 协议
的
agreement
週期 和
那个 时距
的
duration
是 1
一天长度
(=>
(
property
?Option
ConventionalOption
)
(
exists
(?Number ?Period)
(
and
(
agreementPeriod
?Option ?Period)
(
duration
?Period
(
MeasureFn
?Number
MonthDuration
))
(
lessThan
?Number 39))))
FinancialOntology.kif 2574-2580
如果
协议
有
传统的选择
的
attribute
,
然后 有存在
实数
和
时距
这样
那个 时距
是
那个 协议
的
agreement
週期 和
那个 时距
的
duration
是
那个 实数
月持续时间
和
那个 实数
是
lessThan
39
(=>
(
property
?Option
ConventionalOption
)
(
exists
(?Number ?Period)
(
and
(
agreementPeriod
?Option ?Period)
(
duration
?Period
(
MeasureFn
?Number
MonthDuration
))
(
lessThan
?Number 9))))
FinancialOntology.kif 2558-2564
如果
协议
有
传统的选择
的
attribute
,
然后 有存在
实数
和
时距
这样
那个 时距
是
那个 协议
的
agreement
週期 和
那个 时距
的
duration
是
那个 实数
月持续时间
和
那个 实数
是
lessThan
9
(=>
(
property
?Order
DayOrder
)
(
and
(
agreementPeriod
?Order ?Period)
(
duration
?Period
(
MeasureFn
1
DayDuration
))))
FinancialOntology.kif 2940-2944
如果
协议
有
一天的订单
的
attribute
,
然后
时距
是
那个 协议
的
agreement
週期 和
那个 时距
的
duration
是 1
一天长度
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