Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 13478-13480
(domain agreementPeriod 1 Agreement) Mid-level-ontology.kif 13476-13476
(domain agreementPeriod 2 TimeInterval) Mid-level-ontology.kif 13477-13477
(instance agreementPeriod BinaryPredicate) Mid-level-ontology.kif 13475-13475

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


        (agreementPeriod ?AGREEMENT ?DURATION)
        (agreementEffectiveDate ?AGREEMENT ?STARTDATE))
        (TimePeriodFn ?STARTDATE ?DURATION)
        (property ?AGREEMENT ActiveAgreement)))
Mid-level-ontology.kif 13482-13487


        (instance ?Opening OpeningAnAccount)
        (eventLocated ?Opening ?Bank)
        (instance ?Bank FinancialOrganization)
        (agent ?Opening ?Agent)
            (WhenFn ?Opening) ?OpeningTime))
    (exists (?Account ?AccountPeriod)
            (agreementPeriod ?Account ?AccountPeriod)
            (meetsTemporally ?OpeningTime ?AccountPeriod)
            (instance ?Account FinancialAccount)
            (accountAt ?Account ?Bank)
            (accountHolder ?Account ?Agent))))
FinancialOntology.kif 293-306

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