| NonprofitOrganization(nonprofit organization) | | foundation |
| appearance as argument number 1 |
|
|
| (disjoint NonprofitOrganization CommercialAgent) | Mid-level-ontology.kif 8770-8770 | 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 8771-8772 | Nonprofit organization is disjoint from commercial agent |
| (subclass NonprofitOrganization Organization) | Mid-level-ontology.kif 8769-8769 | Nonprofit organization is a subclass of organization |
| appearance as argument number 2 |
|
|
| (subclass BetterBusinessBureau NonprofitOrganization) | Medicine.kif 3721-3721 | BBB is a subclass of nonprofit organization |
| (termFormat ChineseLanguage NonprofitOrganization "非盈利机构") | domainEnglishFormat.kif 40845-40845 | BBB is a subclass of nonprofit organization |
| (termFormat ChineseTraditionalLanguage NonprofitOrganization "非盈利機構") | domainEnglishFormat.kif 40844-40844 | BBB is a subclass of nonprofit organization |
| (termFormat EnglishLanguage NonprofitOrganization "nonprofit organization") | domainEnglishFormat.kif 40843-40843 | BBB is a subclass of nonprofit organization |
| antecedent |
|
|
| (=> (instance ?N NonprofitOrganization) (not (hasPurpose ?N (exists (?P) (profit ?N ?P))))) |
Mid-level-ontology.kif 8774-8779 |
|
|
|
|