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
Die Zahl 1 Argument von
agreementEffectiveDate
ist ein
fall
von
Agreement
%n{nicht}
(
domain
agreementEffectiveDate
2
TimePoint
)
Mid-level-ontology.kif 14024-14024
Die Zahl 2 Argument von
agreementEffectiveDate
ist ein
fall
von
TimePoint
%n{nicht}
(
instance
agreementEffectiveDate
BinaryPredicate
)
Mid-level-ontology.kif 14022-14022
agreementEffectiveDate
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
agreementEffectiveDate
Agreement
and
TimePoint
und
** Agreement
zwingt
CognitiveAgent
, die Aufgabe der Art von
Formula
durchzuf�hren %n{nicht} und
TimePosition
ist ein
fall
von
** TimePoint
%n{nicht},
dann
** CognitiveAgent
wird
gezwungen
, die Aufgabe der Art von
** Formula
durchzuf�hren %n{nicht} haelt
waehrend
sofort
nach
** TimePosition
%n{nicht}
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersRight
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsRight
?FORMULA ?AGENT)))
Government.kif 721-726
Wenn
agreementEffectiveDate
Agreement
and
TimePoint
und
** Agreement
erlaubt
CognitiveAgent
, die Aufgabe der Art von
Formula
durchzuf�hren %n{nicht} und
TimePosition
ist ein
fall
von
** TimePoint
%n{nicht},
dann
** CognitiveAgent
hat das
Recht
,
** Formula
durchzufuehren %n{nicht} haelt
waehrend
sofort
nach
** TimePosition
%n{nicht}
(=>
(
and
(
agreementEffectiveDate
?Account ?Date)
(
currentAccountBalance
?Account ?Date ?Balance))
(
originalBalance
?Account ?Balance))
FinancialOntology.kif 722-726
Wenn
agreementEffectiveDate
FinancialAccount
and
TimePoint
und
currentAccountBalance
** FinancialAccount
,
** TimePoint
and
CurrencyMeasure
,
dann
originalBalance
** FinancialAccount
and
** CurrencyMeasure
(=>
(
and
(
agreementPeriod
?AGREEMENT ?DURATION)
(
agreementEffectiveDate
?AGREEMENT ?STARTDATE))
(
holdsDuring
(
TimePeriodFn
?STARTDATE ?DURATION)
(
property
?AGREEMENT
ActiveAgreement
)))
Mid-level-ontology.kif 14015-14020
Wenn
agreementPeriod
Agreement
and
TimeInterval
und
agreementEffectiveDate
** Agreement
and
TimePoint
,
dann
** Agreement
hat ein
attribut
ActiveAgreement
%n{nicht} haelt
waehrend
TimePeriodFn
** TimePoint
and
** TimeInterval
%n{nicht}
(=>
(
and
(
downPayment
?Loan ?Amount)
(
agreementEffectiveDate
?Loan ?Date))
(
exists
(?Payment)
(
and
(
transactionAmount
?Payment ?Amount)
(
date
?Payment ?Date)
(
destination
?Payment
(
CurrencyFn
?Loan)))))
FinancialOntology.kif 807-816
Wenn
downPayment
Loan
and
CurrencyMeasure
und
agreementEffectiveDate
** Loan
and
TimePoint
,
dann es gibt
FinancialTransaction
um
transactionAmount
** FinancialTransaction
and
** CurrencyMeasure
und
datum
von
** FinancialTransaction
ist
** TimePoint
%n{nicht} und
** FinancialTransaction
endet an
CurrencyFn
** Loan
%n{nicht}
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
Wenn
FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
minimumBalance
** FinancialAccount
,
OpeningAnAccount
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht},
dann es gibt
FinancialTransaction
,
TimePoint
, and und
** RealNumber
um
** FinancialTransaction
endet an
CurrencyFn
** FinancialAccount
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** ** RealNumber
** UnitOfMeasure
(s) und
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} und
agreementEffectiveDate
** FinancialAccount
and
** TimePoint
und
datum
von
** FinancialTransaction
ist
** TimePoint
%n{nicht}
appearance as argument number 0
(
agreementEffectiveDate
AntarcticTreaty
(
instance
?D
(
DayFn
23
(
MonthFn
June
(
YearFn
1961)))))
Geography.kif 3193-3193
agreementEffectiveDate
AntarcticTreaty
and ?D ist ein
fall
von der
tag
23 %n{nicht}
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