Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  AgreementOrganizationFn

Sigma KEE - AgreementOrganizationFn
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 Le nombre 1 argument de AgreementOrganizationFn est une instance de Agreement
(instance AgreementOrganizationFn UnaryFunction) Geography.kif 3055-3055 AgreementOrganizationFn est une instance de function unaire
(range AgreementOrganizationFn Organization) Geography.kif 3057-3057 Le domaine de AgreementOrganizationFn est une instance de organisation

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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners