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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NonprofitOrganization
NonprofitOrganization(nonprofit organization)foundation

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


(disjoint NonprofitOrganization CommercialAgent) Mid-level-ontology.kif 7608-7608 Nonprofit organization is disjoint from commercial agent
(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 Nonprofit organization is a subclass of organization

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


(subclass BetterBusinessBureau NonprofitOrganization) Medicine.kif 3718-3718 BBB is a subclass of nonprofit organization
(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