TreeView Knowledge Base Browser - NonprofitOrganization

appearance as argument number 1

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

appearance as argument number 2

(subclass BetterBusinessBureau NonprofitOrganization)	Medicine.kif 3752-3752	BBB is a subclass of nonprofit organization
(termFormat EnglishLanguage NonprofitOrganization "nonprofit organization")	domainEnglishFormat.kif 40837-40837	BBB is a subclass of nonprofit organization
(termFormat ChineseTraditionalLanguage NonprofitOrganization "非盈利機構")	domainEnglishFormat.kif 40838-40838	BBB is a subclass of nonprofit organization
(termFormat ChineseLanguage NonprofitOrganization "非盈利机构")	domainEnglishFormat.kif 40839-40839	BBB is a subclass of nonprofit organization

antecedent

(=>
    (instance ?N NonprofitOrganization)
    (not
        (hasPurpose ?N
            (exists (?P)
                (profit ?N ?P)))))

If X is an instance of nonprofit organization, then X does not have the purpose there doesn't exist Y such that the profit from X is Y