| FamilyBusiness(family business) | | family_business |
| appearance as argument number 1 |
|
|
| (documentation FamilyBusiness EnglishLanguage "A Partnership that is owned by a single family.") | Mid-level-ontology.kif 7484-7485 | |
| (subclass FamilyBusiness Partnership) | Mid-level-ontology.kif 7483-7483 | Family business is a subclass of partnership |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage FamilyBusiness "家族企业") | domainEnglishFormat.kif 23221-23221 | |
| (termFormat ChineseTraditionalLanguage FamilyBusiness "家族企業") | domainEnglishFormat.kif 23220-23220 | |
| (termFormat EnglishLanguage FamilyBusiness "family business") | domainEnglishFormat.kif 23219-23219 |
| antecedent |
|
|
| (=> (and (instance ?C FamilyBusiness) (possesses ?P1 ?C) (possesses ?P2 ?C)) (familyRelation ?P1 ?P2)) |
Mid-level-ontology.kif 7487-7492 |
|
|
|
|