|
|
   NonprofitOrganization
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint NonprofitOrganization CommercialAgent) | Mid-level-ontology.kif 7608-7608 | |
| (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 |
| appearance as argument number 2 |
|
|
| (subclass BetterBusinessBureau NonprofitOrganization) | Medicine.kif 3718-3718 | |
| (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 |
|
|
|