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 14025-14027
(
domain
agreementEffectiveDate
1
Agreement
)
Mid-level-ontology.kif 14023-14023
agreementEffectiveDate
の数値 1 引数は
Agreement
の
instance
では %n
(
domain
agreementEffectiveDate
2
TimePoint
)
Mid-level-ontology.kif 14024-14024
agreementEffectiveDate
の数値 2 引数は
時点
の
instance
では %n
(
instance
agreementEffectiveDate
BinaryPredicate
)
Mid-level-ontology.kif 14022-14022
agreementEffectiveDate
は
2進述語
の
instance
では %n
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
agreementEffectiveDate
Agreement
and
時点
Agreement
は
認識エージェント
にタイプ
公式
のタスクを実行する
obligate
s %n{ない}
時間位置
は
時点
の
instance
では %n
認識エージェント
はタイプ
公式
のタスクを実行する
obliged
%n は
時間位置
の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersRight
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsRight
?FORMULA ?AGENT)))
Government.kif 721-726
agreementEffectiveDate
Agreement
and
時点
Agreement
は
認識エージェント
が
公式
のタスクを実行することはを
allow
s %n{ない}
時間位置
は
時点
の
instance
では %n
認識エージェント
は
公式
を 実行する
right
を 持って %n{ない} は
時間位置
の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
agreementEffectiveDate
?Account ?Date)
(
currentAccountBalance
?Account ?Date ?Balance))
(
originalBalance
?Account ?Balance))
FinancialOntology.kif 722-726
agreementEffectiveDate
FinancialAccount
and
時点
currentAccountBalance
FinancialAccount
,
時点
and
通貨測定
originalBalance
FinancialAccount
and
通貨測定
(=>
(
and
(
agreementPeriod
?AGREEMENT ?DURATION)
(
agreementEffectiveDate
?AGREEMENT ?STARTDATE))
(
holdsDuring
(
TimePeriodFn
?STARTDATE ?DURATION)
(
property
?AGREEMENT
ActiveAgreement
)))
Mid-level-ontology.kif 14015-14020
agreementPeriod
Agreement
and
時間間隔
agreementEffectiveDate
Agreement
and
時点
Agreement
には
attribute
ActiveAgreement
%n{ない} は
TimePeriodFn
時点
and
時間間隔
の
during
holds %n{ない}
(=>
(
and
(
downPayment
?Loan ?Amount)
(
agreementEffectiveDate
?Loan ?Date))
(
exists
(?Payment)
(
and
(
transactionAmount
?Payment ?Amount)
(
date
?Payment ?Date)
(
destination
?Payment
(
CurrencyFn
?Loan)))))
FinancialOntology.kif 807-816
downPayment
Loan
and
通貨測定
agreementEffectiveDate
Loan
and
時点
金融取引
transactionAmount
金融取引
and
通貨測定
金融取引
の
date
は
時点
では
金融取引
は
CurrencyFn
Loan
に
end
s %n{ない}
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
FinancialAccount
は
FinancialAccount
の
instance
では %n
minimumBalance
FinancialAccount
,
OpeningAnAccount
and
実数
の
測定単位
(s)
測定単位
は
UnitOfCurrency
の
instance
では %n
金融取引
時点
and
実数
金融取引
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
transactionAmount
金融取引
and
実数
の
測定単位
(s)
実数
は
実数
greater
では %n
agreementEffectiveDate
FinancialAccount
and
時点
金融取引
の
date
は
時点
では
appearance as argument number 0
(
agreementEffectiveDate
AntarcticTreaty
(
instance
?D
(
DayFn
23
(
MonthFn
June
(
YearFn
1961)))))
Geography.kif 3193-3193
agreementEffectiveDate
AntarcticTreaty
and ?D は 23
day
目 の
instance
では %n
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