| NonprofitOrganization(nonprofit organization) | | foundation |
| appearance as argument number 1 |
|
|
| (disjoint NonprofitOrganization CommercialAgent) | Mid-level-ontology.kif 7826-7826 | 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 7827-7828 | Nonprofit organization is disjoint from commercial agent |
| (subclass NonprofitOrganization Organization) | Mid-level-ontology.kif 7825-7825 | 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 40871-40871 | BBB is a subclass of nonprofit organization |
| (termFormat ChineseTraditionalLanguage NonprofitOrganization "非盈利機構") | domainEnglishFormat.kif 40870-40870 | BBB is a subclass of nonprofit organization |
| (termFormat EnglishLanguage NonprofitOrganization "nonprofit organization") | domainEnglishFormat.kif 40869-40869 | BBB is a subclass of nonprofit organization |
| antecedent |
|
|
| (=> (instance ?N NonprofitOrganization) (not (hasPurpose ?N (exists (?P) (profit ?N ?P))))) |
Mid-level-ontology.kif 7830-7835 |
|
|
|
|