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
agreementEffectiveDate
Sigma KEE - agreementEffectiveDate
agreementEffectiveDate
appearance as argument number 1
(
documentation
agreementEffectiveDate
EnglishLanguage
"(
agreementEffectiveDate
?AGREEMENT ?TIME) means that ?AGREEMENT goes into effect at
TimePoint
?TIME, and remains an
ActiveAgreement
for
TimeDuration
?DURATION.")
Mid-level-ontology.kif 14026-14028
(
domain
agreementEffectiveDate
1
Agreement
)
Mid-level-ontology.kif 14024-14024
协议生效日期
的 1 数量 是
协议
的
instance
(
domain
agreementEffectiveDate
2
TimePoint
)
Mid-level-ontology.kif 14025-14025
协议生效日期
的 2 数量 是
时点
的
instance
(
instance
agreementEffectiveDate
BinaryPredicate
)
Mid-level-ontology.kif 14023-14023
协议生效日期
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
agreementEffectiveDate
"%2 %n 是 %1 的 agreement 生效日期")
domainEnglishFormat.kif 84-84
(
format
ChineseTraditionalLanguage
agreementEffectiveDate
"%2 %n 是 %1 的 agreement 生效日期")
domainEnglishFormat.kif 83-83
(
format
EnglishLanguage
agreementEffectiveDate
"%2 is %n an agreement effective date of %1")
domainEnglishFormat.kif 82-82
(
termFormat
ChineseLanguage
agreementEffectiveDate
"协议生效日期")
domainEnglishFormat.kif 5904-5904
(
termFormat
ChineseTraditionalLanguage
agreementEffectiveDate
"協議生效日期")
domainEnglishFormat.kif 5903-5903
(
termFormat
EnglishLanguage
agreementEffectiveDate
"agreement effective date")
domainEnglishFormat.kif 5902-5902
antecedent
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersObligation
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsObligation
?FORMULA ?AGENT)))
Government.kif 714-719
如果
时点
是
协议
的
agreement
生效日期 和
那个 协议
要求
有认知的主事
执行
公式
的任务 和
时间位置
是
那个 时点
的
instance
,
然后
那个 有认知的主事
有义务执行
那个 公式
的任务 在 紧接
那个 时间位置
after
holdsDuring
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersRight
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsRight
?FORMULA ?AGENT)))
Government.kif 721-726
如果
时点
是
协议
的
agreement
生效日期 和
那个 协议
允许
有认知的主事
执行
公式
的任务 和
时间位置
是
那个 时点
的
instance
,
然后
那个 有认知的主事
有权利去做
那个 公式
在 紧接
那个 时间位置
after
holdsDuring
(=>
(
and
(
agreementEffectiveDate
?Account ?Date)
(
currentAccountBalance
?Account ?Date ?Balance))
(
originalBalance
?Account ?Balance))
FinancialOntology.kif 722-726
如果
时点
是
金融账户
的
agreement
生效日期 和
那个 金融账户
对于 %3 的
current
帐户存款,
然后
货币测量
是
那个 金融账户
的
original
金额
(=>
(
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
(
downPayment
?Loan ?Amount)
(
agreementEffectiveDate
?Loan ?Date))
(
exists
(?Payment)
(
and
(
transactionAmount
?Payment ?Amount)
(
date
?Payment ?Date)
(
destination
?Payment
(
CurrencyFn
?Loan)))))
FinancialOntology.kif 807-816
如果
货币测量
是
贷款
的
down
费用 和
时点
是
那个 贷款
的
agreement
生效日期,
然后 有存在
金融交易
这样
那个 货币测量
是
那个 金融交易
的
transaction
总额 和
那个 金融交易
的
date
是
那个 时点
和
那个 金融交易
在
那个 贷款
的
currency
结束
consequent
(=>
(
and
(
instance
?Account
FinancialAccount
)
(
minimumBalance
?Account
OpeningAnAccount
(
MeasureFn
?Balance ?U))
(
instance
?U
UnitOfCurrency
))
(
exists
(?Payment ?Date ?Amount)
(
and
(
destination
?Payment
(
CurrencyFn
?Account))
(
transactionAmount
?Payment
(
MeasureFn
?Amount ?U))
(
greaterThanOrEqualTo
?Amount ?Balance)
(
agreementEffectiveDate
?Account ?Date)
(
date
?Payment ?Date))))
FinancialOntology.kif 686-699
如果
金融账户
是
金融账户
的
instance
和
那个 金融账户
是 对于
实数
测量单位
的
minimum
金额
开户
和
那个 测量单位
是
UnitOfCurrency
的
instance
,
然后 有存在
金融交易
,
时点
, and 和
另一个 实数
这样
那个 金融交易
在
那个 金融账户
的
currency
结束 和
那个 另外 实数
那个 测量单位
是
那个 金融交易
的
transaction
总额 和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
和
那个 时点
是
那个 金融账户
的
agreement
生效日期 和
那个 金融交易
的
date
是
那个 时点
appearance as argument number 0
(
agreementEffectiveDate
AntarcticTreaty
(
instance
?D
(
DayFn
23
(
MonthFn
June
(
YearFn
1961)))))
Geography.kif 3193-3193
?D 是 23
Day
的
instance
是
南极条约
的
agreement
生效日期
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