TreeView Knowledge Base Browser - AgreementOrganizationFn

appearance as argument number 1

(documentation AgreementOrganizationFn EnglishLanguage "(AgreementOrganizationFn ?AGR) denotes the official Organization established by the Agreement ?AGR to administer or enforce the terms of that agreement.")	Geography.kif 2940-2942
(domain AgreementOrganizationFn 1 Agreement)	Geography.kif 2937-2937
(instance AgreementOrganizationFn UnaryFunction)	Geography.kif 2936-2936
(range AgreementOrganizationFn Organization)	Geography.kif 2938-2938

appearance as argument number 2

(format ChineseLanguage AgreementOrganizationFn "%1 的 agreement 组织")	domainEnglishFormat.kif 92-92
(format ChineseTraditionalLanguage AgreementOrganizationFn "%1 的 agreement 組織")	domainEnglishFormat.kif 91-91
(format EnglishLanguage AgreementOrganizationFn "the agreement organization of %1")	domainEnglishFormat.kif 90-90
(termFormat ChineseLanguage AgreementOrganizationFn "协议组织")	domainEnglishFormat.kif 5925-5925
(termFormat ChineseTraditionalLanguage AgreementOrganizationFn "協議組織")	domainEnglishFormat.kif 5924-5924
(termFormat EnglishLanguage AgreementOrganizationFn "agreement organization")	domainEnglishFormat.kif 5923-5923

antecedent

(=>
    (and
        (instance ?AGR InternationalAgreement)
        (instance
            (AgreementOrganizationFn ?AGR) Organization))
    (instance
        (AgreementOrganizationFn ?AGR) OrganizationOfNations))

Geography.kif 2944-2948

consequent

Geography.kif 2944-2948