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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - NonprofitOrganization

appearance as argument number 1

(disjoint NonprofitOrganization CommercialAgent) Mid-level-ontology.kif 7607-7607
(documentation NonprofitOrganization EnglishLanguage "Any Organization whose purpose is something other than making a profit.") Mid-level-ontology.kif 7608-7609
(subclass NonprofitOrganization Organization) Mid-level-ontology.kif 7606-7606

appearance as argument number 2

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


    (instance ?N NonprofitOrganization)
        (hasPurpose ?N
            (exists (?P)
                (profit ?N ?P)))))
Mid-level-ontology.kif 7611-7616

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