| NonprofitOrganization | |
| appearance as argument number 1 |
|
|
| (disjoint NonprofitOrganization CommercialAgent) | Mid-level-ontology.kif 8794-8794 | |
| (documentation NonprofitOrganization EnglishLanguage "Any Organization whose purpose is something other than making a profit.") | Mid-level-ontology.kif 8795-8796 | |
| (subclass NonprofitOrganization Organization) | Mid-level-ontology.kif 8793-8793 |
| appearance as argument number 2 |
|
|
| (subclass BetterBusinessBureau NonprofitOrganization) | Medicine.kif 3721-3721 | |
| (termFormat ChineseLanguage NonprofitOrganization "非盈利机构") | domainEnglishFormat.kif 40863-40863 | |
| (termFormat ChineseTraditionalLanguage NonprofitOrganization "非盈利機構") | domainEnglishFormat.kif 40862-40862 | |
| (termFormat EnglishLanguage NonprofitOrganization "nonprofit organization") | domainEnglishFormat.kif 40861-40861 |
| antecedent |
|
|
| (=> (instance ?N NonprofitOrganization) (not (hasPurpose ?N (exists (?P) (profit ?N ?P))))) |
Mid-level-ontology.kif 8798-8803 |
|
|
|