TreeView Knowledge Base Browser - AgreementOrganizationFn

appearance as argument number 1

(instance AgreementOrganizationFn UnaryFunction)	Geography.kif 4487-4487	Agreement organization is an instance of unary function
(domain AgreementOrganizationFn 1 Agreement)	Geography.kif 4488-4488	The number 1 argument of agreement organization is an instance of agreement
(range AgreementOrganizationFn Organization)	Geography.kif 4489-4489	The range of agreement organization is an instance of organization
(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 4491-4493	The range of agreement organization is an instance of organization

appearance as argument number 2

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

antecedent

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

consequent

Geography.kif 4495-4499