| 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 |
|
| (=> (and (agreementEffectiveDate ?AGR ?DATE) (confersRight ?FORMULA ?AGR ?AGENT) (instance ?TIME ?DATE)) (holdsDuring (ImmediateFutureFn ?TIME) (holdsRight ?FORMULA ?AGENT))) |
Government.kif 685-690 |
|
| (=> (and (agreementEffectiveDate ?Account ?Date) (currentAccountBalance ?Account ?Date ?Balance)) (originalBalance ?Account ?Balance)) |
FinancialOntology.kif 722-726 | |
| (=> (and (agreementPeriod ?AGREEMENT ?DURATION) (agreementEffectiveDate ?AGREEMENT ?STARTDATE)) (holdsDuring (TimePeriodFn ?STARTDATE ?DURATION) (property ?AGREEMENT ActiveAgreement))) |
Mid-level-ontology.kif 14043-14048 | |
| (=> (and (downPayment ?Loan ?Amount) (agreementEffectiveDate ?Loan ?Date)) (exists (?Payment) (and (transactionAmount ?Payment ?Amount) (date ?Payment ?Date) (destination ?Payment (CurrencyFn ?Loan))))) |
FinancialOntology.kif 807-816 |
| 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 |
|
| 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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