| NonprofitOrganization(nonprofit organization) | | foundation |
| appearance as argument number 1 |
|
|
| (disjoint NonprofitOrganization CommercialAgent) | Mid-level-ontology.kif 8794-8794 | 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 8795-8796 | Nonprofit organization is disjoint from commercial agent |
| (subclass NonprofitOrganization Organization) | Mid-level-ontology.kif 8793-8793 | 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 40863-40863 | BBB is a subclass of nonprofit organization |
| (termFormat ChineseTraditionalLanguage NonprofitOrganization "非盈利機構") | domainEnglishFormat.kif 40862-40862 | BBB is a subclass of nonprofit organization |
| (termFormat EnglishLanguage NonprofitOrganization "nonprofit organization") | domainEnglishFormat.kif 40861-40861 | BBB is a subclass of nonprofit organization |
| antecedent |
|
|
| (=> (instance ?N NonprofitOrganization) (not (hasPurpose ?N (exists (?P) (profit ?N ?P))))) |
Mid-level-ontology.kif 8798-8803 |
|
|
|
|