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 3059-3061
(domain AgreementOrganizationFn 1 Agreement)	Geography.kif 3056-3056	协议组织的 1 数量是协议的 instance
(instance AgreementOrganizationFn UnaryFunction)	Geography.kif 3055-3055	协议组织是一元函数的 instance
(range AgreementOrganizationFn Organization)	Geography.kif 3057-3057	协议组织的 range 是机构的实例

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 5916-5916
(termFormat ChineseTraditionalLanguage AgreementOrganizationFn "協議組織")	domainEnglishFormat.kif 5915-5915
(termFormat EnglishLanguage AgreementOrganizationFn "agreement organization")	domainEnglishFormat.kif 5914-5914

antecedent

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

Geography.kif 3063-3067

consequent

Geography.kif 3063-3067