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 14053-14055
(
domain
agreementEffectiveDate
1
Agreement
)
Mid-level-ontology.kif 14051-14051
域
協議生效日期
, 1 and
協議
(
domain
agreementEffectiveDate
2
TimePoint
)
Mid-level-ontology.kif 14052-14052
域
協議生效日期
, 2 and
TimePoint
(
instance
agreementEffectiveDate
BinaryPredicate
)
Mid-level-ontology.kif 14050-14050
例
協議生效日期
and
BinaryPredicate
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 678-683
TimePoint
是
協議
的
agreement
生效日期
授予義務
Formula
,
協議
and
CognitiveAgent
例
TimePosition
and
TimePoint
持有期間
眼前的未來
TimePosition
and
持有義務
Formula
and
CognitiveAgent
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersRight
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsRight
?FORMULA ?AGENT)))
Government.kif 685-690
TimePoint
是
協議
的
agreement
生效日期
賦予權利
Formula
,
協議
and
CognitiveAgent
例
TimePosition
and
TimePoint
持有期間
眼前的未來
TimePosition
and
堅持正確
Formula
and
CognitiveAgent
(=>
(
and
(
agreementEffectiveDate
?Account ?Date)
(
currentAccountBalance
?Account ?Date ?Balance))
(
originalBalance
?Account ?Balance))
FinancialOntology.kif 722-726
TimePoint
是
金融賬戶
的
agreement
生效日期
金融賬戶
對於 %3 的
current
帳戶存款
CurrencyMeasure
是
金融賬戶
的
original
金額
(=>
(
and
(
agreementPeriod
?AGREEMENT ?DURATION)
(
agreementEffectiveDate
?AGREEMENT ?STARTDATE))
(
holdsDuring
(
TimePeriodFn
?STARTDATE ?DURATION)
(
property
?AGREEMENT
ActiveAgreement
)))
Mid-level-ontology.kif 14043-14048
TimeInterval
是
協議
的
agreement
週期
TimePoint
是
協議
的
agreement
生效日期
持有期間
time
開始在
TimePoint
並且 持續到
TimeInterval
and
屬性
協議
and
ActiveAgreement
(=>
(
and
(
downPayment
?Loan ?Amount)
(
agreementEffectiveDate
?Loan ?Date))
(
exists
(?Payment)
(
and
(
transactionAmount
?Payment ?Amount)
(
date
?Payment ?Date)
(
destination
?Payment
(
CurrencyFn
?Loan)))))
FinancialOntology.kif 807-816
CurrencyMeasure
是
貸款
的
down
費用
TimePoint
是
貸款
的
agreement
生效日期
FinancialTransaction
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
日期
FinancialTransaction
and
TimePoint
目的地
FinancialTransaction
and
貸款
的
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
例
金融賬戶
and
金融賬戶
金融賬戶
是 對於
測量
RealNumber
and
UnitOfMeasure
的
minimum
金額
開戶
例
UnitOfMeasure
and
UnitOfCurrency
FinancialTransaction
TimePoint
and
RealNumber
目的地
FinancialTransaction
and
金融賬戶
的
currency
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
transaction
總額
大於或等於
RealNumber
and
RealNumber
TimePoint
是
金融賬戶
的
agreement
生效日期
日期
FinancialTransaction
and
TimePoint
appearance as argument number 0
(
agreementEffectiveDate
AntarcticTreaty
(
instance
?D
(
DayFn
23
(
MonthFn
June
(
YearFn
1961)))))
Geography.kif 3193-3193
例
?D and
天
23 and
月
June
and
年
1961 是
南極條約
的
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