AgreementOrganizationFn - Sigma Knowledge base Browser

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 3047-3049
(domain AgreementOrganizationFn 1 Agreement)	Geography.kif 3044-3044	The number 1 argument of agreement organization is an instance of agreement
(instance AgreementOrganizationFn UnaryFunction)	Geography.kif 3043-3043	Agreement organization is an instance of unary function
(range AgreementOrganizationFn Organization)	Geography.kif 3045-3045	The range of agreement organization is an instance of organization

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 3051-3055

consequent

Geography.kif 3051-3055