TreeView Knowledge Base Browser

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 13478-13480
(domain agreementPeriod 1 Agreement)	Mid-level-ontology.kif 13476-13476	The number 1 argument of agreement period is an instance of agreement
(domain agreementPeriod 2 TimeInterval)	Mid-level-ontology.kif 13477-13477	The number 2 argument of agreement period is an instance of time interval
(instance agreementPeriod BinaryPredicate)	Mid-level-ontology.kif 13475-13475	agreement period is an instance of binary predicate

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 5931-5931
(termFormat ChineseTraditionalLanguage agreementPeriod "協議期限")	domainEnglishFormat.kif 5930-5930
(termFormat EnglishLanguage agreementPeriod "agreement period")	domainEnglishFormat.kif 5929-5929

antecedent

(=>
    (and
        (agreementPeriod ?AGREEMENT ?DURATION)
        (agreementEffectiveDate ?AGREEMENT ?STARTDATE))
    (holdsDuring
        (TimePeriodFn ?STARTDATE ?DURATION)
        (property ?AGREEMENT ActiveAgreement)))

Mid-level-ontology.kif 13482-13487

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