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
O argumento numero 1 de
agreementEffectiveDate
e' uma
instancia
de
Agreement
(
domain
agreementEffectiveDate
2
TimePoint
)
Mid-level-ontology.kif 14025-14025
O argumento numero 2 de
agreementEffectiveDate
e' uma
instancia
de
Ponto no tempo
(
instance
agreementEffectiveDate
BinaryPredicate
)
Mid-level-ontology.kif 14023-14023
agreementEffectiveDate
e' uma
instancia
de
Predicado Binario
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
Ponto no tempo
Agreement
obriga
Agente Cognitivo
a executar tarefas de tipo
Formula
Posicao Temporal
e' uma
instancia
de
Ponto no tempo
Agente Cognitivo
e'
obrigado
a executar tarefas de tipo
Formula
vale
durante imediatemente
apos
Posicao Temporal
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersRight
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsRight
?FORMULA ?AGENT)))
Government.kif 721-726
agreementEffectiveDate
Agreement
and
Ponto no tempo
Agreement
autoriza
Agente Cognitivo
a executar tarefas de tipo
Formula
Posicao Temporal
e' uma
instancia
de
Ponto no tempo
Agente Cognitivo
tem o
direito
de executar
Formula
vale
durante imediatemente
apos
Posicao Temporal
(=>
(
and
(
agreementEffectiveDate
?Account ?Date)
(
currentAccountBalance
?Account ?Date ?Balance))
(
originalBalance
?Account ?Balance))
FinancialOntology.kif 722-726
agreementEffectiveDate
FinancialAccount
and
Ponto no tempo
currentAccountBalance
FinancialAccount
,
Ponto no tempo
and
Medida de Divisa
originalBalance
FinancialAccount
and
Medida de Divisa
(=>
(
and
(
agreementPeriod
?AGREEMENT ?DURATION)
(
agreementEffectiveDate
?AGREEMENT ?STARTDATE))
(
holdsDuring
(
TimePeriodFn
?STARTDATE ?DURATION)
(
property
?AGREEMENT
ActiveAgreement
)))
Mid-level-ontology.kif 14016-14021
agreementPeriod
Agreement
and
Intervalo Temporal
agreementEffectiveDate
Agreement
and
Ponto no tempo
Agreement
tem um
atributo
de
ActiveAgreement
vale
durante
TimePeriodFn
Ponto no tempo
and
Intervalo Temporal
(=>
(
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
Medida de Divisa
agreementEffectiveDate
Loan
and
Ponto no tempo
Transacao Financeira
transactionAmount
Transacao Financeira
and
Medida de Divisa
a
data
de
Transacao Financeira
e'
Ponto no tempo
Transacao Financeira
termina
em
CurrencyFn
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
FinancialAccount
e' uma
instancia
de
FinancialAccount
minimumBalance
FinancialAccount
,
OpeningAnAccount
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Transacao Financeira
Ponto no tempo
and
Numero Real
Transacao Financeira
termina
em
CurrencyFn
FinancialAccount
transactionAmount
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a
Numero Real
agreementEffectiveDate
FinancialAccount
and
Ponto no tempo
a
data
de
Transacao Financeira
e'
Ponto no tempo
appearance as argument number 0
(
agreementEffectiveDate
AntarcticTreaty
(
instance
?D
(
DayFn
23
(
MonthFn
June
(
YearFn
1961)))))
Geography.kif 3193-3193
agreementEffectiveDate
AntarcticTreaty
and ?D e' uma
instancia
de o
dia
23
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