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 3059-3061
(domain AgreementOrganizationFn 1 Agreement)	Geography.kif 3056-3056	The number 1 argument of agreement organization is an instance of agreement
(instance AgreementOrganizationFn UnaryFunction)	Geography.kif 3055-3055	Agreement organization is an instance of unary function
(range AgreementOrganizationFn Organization)	Geography.kif 3057-3057	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 5920-5920
(termFormat ChineseTraditionalLanguage AgreementOrganizationFn "協議組織")	domainEnglishFormat.kif 5919-5919
(termFormat EnglishLanguage AgreementOrganizationFn "agreement organization")	domainEnglishFormat.kif 5918-5918

antecedent

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

Geography.kif 3063-3067

consequent

Geography.kif 3063-3067