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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NonprofitOrganization
NonprofitOrganization

appearance as argument number 1
-------------------------


(disjoint NonprofitOrganization CommercialAgent) Mid-level-ontology.kif 7608-7608 NonprofitOrganization est disjoint de CommercialAgent
(documentation NonprofitOrganization EnglishLanguage "Any Organization whose purpose is something other than making a profit.") Mid-level-ontology.kif 7609-7610
(subclass NonprofitOrganization Organization) Mid-level-ontology.kif 7607-7607 NonprofitOrganization est une sous-classe de organisation

appearance as argument number 2
-------------------------


(subclass BetterBusinessBureau NonprofitOrganization) Medicine.kif 3718-3718 BetterBusinessBureau est une sous-classe de NonprofitOrganization
(termFormat ChineseLanguage NonprofitOrganization "非盈利机构") domainEnglishFormat.kif 40833-40833
(termFormat ChineseTraditionalLanguage NonprofitOrganization "非盈利機構") domainEnglishFormat.kif 40832-40832
(termFormat EnglishLanguage NonprofitOrganization "nonprofit organization") domainEnglishFormat.kif 40831-40831

antecedent
-------------------------


(=>
    (instance ?N NonprofitOrganization)
    (not
        (hasPurpose ?N
            (exists (?P)
                (profit ?N ?P)))))
Mid-level-ontology.kif 7612-7617


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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