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
The number 1 argument of
agreement effective date
is an
instance
of
agreement
(
domain
agreementEffectiveDate
2
TimePoint
)
Mid-level-ontology.kif 14025-14025
The number 2 argument of
agreement effective date
is an
instance
of
time point
(
instance
agreementEffectiveDate
BinaryPredicate
)
Mid-level-ontology.kif 14023-14023
agreement effective date
is an
instance
of
binary predicate
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
If
a time point
is an
agreement
effective date of
an agreement
and
the agreement
obligate
s
a cognitive agent
to perform task of the type
a formula
and
a time position
is an
instance
of
the time point
,
then
the cognitive agent
is
obliged
to perform tasks of type
the formula
holds
during
immediately
after
the time position
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersRight
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsRight
?FORMULA ?AGENT)))
Government.kif 721-726
If
a time point
is an
agreement
effective date of
an agreement
and
the agreement
allow
s
a cognitive agent
to perform task of the type
a formula
and
a time position
is an
instance
of
the time point
,
then
the cognitive agent
has the
right
to perform
the formula
holds
during
immediately
after
the time position
(=>
(
and
(
agreementEffectiveDate
?Account ?Date)
(
currentAccountBalance
?Account ?Date ?Balance))
(
originalBalance
?Account ?Balance))
FinancialOntology.kif 722-726
If
a time point
is an
agreement
effective date of
a financial account
and
the financial account
current
account balance
the time point
for
a currency measure
,
then
the currency measure
is an
original
balance of
the financial account
(=>
(
and
(
agreementPeriod
?AGREEMENT ?DURATION)
(
agreementEffectiveDate
?AGREEMENT ?STARTDATE))
(
holdsDuring
(
TimePeriodFn
?STARTDATE ?DURATION)
(
property
?AGREEMENT
ActiveAgreement
)))
Mid-level-ontology.kif 14016-14021
If
a time interval
is an
agreement
period of
an agreement
and
a time point
is an
agreement
effective date of
the agreement
,
then
the agreement
the
attribute
active agreement
holds
during
a
time
that starts at
the time point
and lasts for
the time interval
(=>
(
and
(
downPayment
?Loan ?Amount)
(
agreementEffectiveDate
?Loan ?Date))
(
exists
(?Payment)
(
and
(
transactionAmount
?Payment ?Amount)
(
date
?Payment ?Date)
(
destination
?Payment
(
CurrencyFn
?Loan)))))
FinancialOntology.kif 807-816
If
a currency measure
is a
down
payment of
a loan
and
a time point
is an
agreement
effective date of
the loan
,
then there exists
a financial transaction
such that
the currency measure
is a
transaction
amount of
the financial transaction
and
date
of
the financial transaction
is
the time point
and
the financial transaction
end
s up at the
currency
of
the loan
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
If
a financial account
is an
instance
of
financial account
and
the financial account
is
minimum
balance
opening an account
for
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of currency
,
then there exist
a financial transaction
,
a time point
and
another real number
such that
the financial transaction
end
s up at the
currency
of
the financial account
and
the other real number
the unit of measure
(s) is a
transaction
amount of
the financial transaction
and
the other real number
is
greater
than or equal to
the real number
and
the time point
is an
agreement
effective date of
the financial account
and
date
of
the financial transaction
is
the time point
appearance as argument number 0
(
agreementEffectiveDate
AntarcticTreaty
(
instance
?D
(
DayFn
23
(
MonthFn
June
(
YearFn
1961)))))
Geography.kif 3193-3193
?D is an
instance
of the
day
23 is an
agreement
effective date of
antarctic treaty
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