agreementPeriod |
appearance as argument number 1 |
(documentation agreementPeriod EnglishLanguage "(agreementPeriod ?AGREEMENT ?DURATION) holds if ?DURATION specifies a TimeDuration, which is the length of time that the ?AGREEMENT is ActiveAgreement.") | Mid-level-ontology.kif 14012-14014 | |
(domain agreementPeriod 1 Agreement) | Mid-level-ontology.kif 14010-14010 | 域 協議期限, 1 and 協議 |
(domain agreementPeriod 2 TimeInterval) | Mid-level-ontology.kif 14011-14011 | 域 協議期限, 2 and TimeInterval |
(instance agreementPeriod BinaryPredicate) | Mid-level-ontology.kif 14009-14009 | 例 協議期限 and BinaryPredicate |
appearance as argument number 2 |
(format ChineseLanguage agreementPeriod "%2 是 %1 的 agreement 週期") | domainEnglishFormat.kif 96-96 | |
(format ChineseTraditionalLanguage agreementPeriod "%2 是 %1 的 agreement 週期") | domainEnglishFormat.kif 95-95 | |
(format EnglishLanguage agreementPeriod "%2 is %n an agreement period of %1") | domainEnglishFormat.kif 94-94 | |
(termFormat ChineseLanguage agreementPeriod "协议期限") | domainEnglishFormat.kif 5922-5922 | |
(termFormat ChineseTraditionalLanguage agreementPeriod "協議期限") | domainEnglishFormat.kif 5921-5921 | |
(termFormat EnglishLanguage agreementPeriod "agreement period") | domainEnglishFormat.kif 5920-5920 |
antecedent |
consequent |
(=> (and (instance ?Opening OpeningAnAccount) (eventLocated ?Opening ?Bank) (instance ?Bank FinancialOrganization) (agent ?Opening ?Agent) (equal (WhenFn ?Opening) ?OpeningTime)) (exists (?Account ?AccountPeriod) (and (agreementPeriod ?Account ?AccountPeriod) (meetsTemporally ?OpeningTime ?AccountPeriod) (instance ?Account FinancialAccount) (accountAt ?Account ?Bank) (accountHolder ?Account ?Agent)))) |
FinancialOntology.kif 293-306 | |
(=> (instance ?Loan DayLoan) (and (agreementPeriod ?Loan ?Period) (duration ?Period (MeasureFn 1 DayDuration)))) |
FinancialOntology.kif 1579-1583 |
|
(=> (property ?Option ConventionalOption) (exists (?Number ?Period) (and (agreementPeriod ?Option ?Period) (duration ?Period (MeasureFn ?Number MonthDuration)) (lessThan ?Number 39)))) |
FinancialOntology.kif 2574-2580 |
|
(=> (property ?Option ConventionalOption) (exists (?Number ?Period) (and (agreementPeriod ?Option ?Period) (duration ?Period (MeasureFn ?Number MonthDuration)) (lessThan ?Number 9)))) |
FinancialOntology.kif 2558-2564 |
|
(=> (property ?Order DayOrder) (and (agreementPeriod ?Order ?Period) (duration ?Period (MeasureFn 1 DayDuration)))) |
FinancialOntology.kif 2940-2944 |
|