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
EmergencyRoadVehicle
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
Le nombre 1 argument de
agreementEffectiveDate
est une
instance
de
Agreement
(
domain
agreementEffectiveDate
2
TimePoint
)
Mid-level-ontology.kif 14052-14052
Le nombre 2 argument de
agreementEffectiveDate
est une
instance
de
point temporel
(
instance
agreementEffectiveDate
BinaryPredicate
)
Mid-level-ontology.kif 14050-14050
agreementEffectiveDate
est une
instance
de
pr�dicat binaire
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
agreementEffectiveDate
Agreement
and
point temporel
Agreement
oblige
agent cognitif
� ex�cut� des t�ches du type
formule
position temporel
est une
instance
de
point temporel
agent cognitif
est
oblig
� d'ex�cut� des t�ches du type
formule
pendant
immediatement
apr
�s
position temporel
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersRight
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsRight
?FORMULA ?AGENT)))
Government.kif 685-690
agreementEffectiveDate
Agreement
and
point temporel
Agreement
autorise
agent cognitif
� ex�cut� des t�ches du type
formule
position temporel
est une
instance
de
point temporel
agent cognitif
a le
droit
d'executer
formule
pendant
immediatement
apr
�s
position temporel
(=>
(
and
(
agreementEffectiveDate
?Account ?Date)
(
currentAccountBalance
?Account ?Date ?Balance))
(
originalBalance
?Account ?Balance))
FinancialOntology.kif 722-726
agreementEffectiveDate
FinancialAccount
and
point temporel
currentAccountBalance
FinancialAccount
,
point temporel
and
mesure de devise
originalBalance
FinancialAccount
and
mesure de devise
(=>
(
and
(
agreementPeriod
?AGREEMENT ?DURATION)
(
agreementEffectiveDate
?AGREEMENT ?STARTDATE))
(
holdsDuring
(
TimePeriodFn
?STARTDATE ?DURATION)
(
property
?AGREEMENT
ActiveAgreement
)))
Mid-level-ontology.kif 14043-14048
agreementPeriod
Agreement
and
interval temporel
agreementEffectiveDate
Agreement
and
point temporel
Agreement
a un
attribute
ActiveAgreement
pendant
TimePeriodFn
point temporel
and
interval temporel
(=>
(
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
mesure de devise
agreementEffectiveDate
Loan
and
point temporel
financial transaction
transactionAmount
financial transaction
and
mesure de devise
la
date
de
financial transaction
est
point temporel
financial transaction
aboutit
�
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
est une
instance
de
FinancialAccount
minimumBalance
FinancialAccount
,
OpeningAnAccount
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfCurrency
financial transaction
point temporel
and
nombre r�el
financial transaction
aboutit
�
CurrencyFn
FinancialAccount
transactionAmount
financial transaction
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
agreementEffectiveDate
FinancialAccount
and
point temporel
la
date
de
financial transaction
est
point temporel
appearance as argument number 0
(
agreementEffectiveDate
AntarcticTreaty
(
instance
?D
(
DayFn
23
(
MonthFn
June
(
YearFn
1961)))))
Geography.kif 3193-3193
agreementEffectiveDate
AntarcticTreaty
and ?D est une
instance
de le
jour
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