| 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 8427-8428 | |
| (subclass FamilyBusiness Partnership) | Mid-level-ontology.kif 8426-8426 | Family business is a subclass of partnership |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage FamilyBusiness "家族企业") | domainEnglishFormat.kif 23209-23209 | |
| (termFormat ChineseTraditionalLanguage FamilyBusiness "家族企業") | domainEnglishFormat.kif 23208-23208 | |
| (termFormat EnglishLanguage FamilyBusiness "family business") | domainEnglishFormat.kif 23207-23207 |
| antecedent |
|
|
| (=> (and (instance ?C FamilyBusiness) (possesses ?P1 ?C) (possesses ?P2 ?C)) (familyRelation ?P1 ?P2)) |
Mid-level-ontology.kif 8430-8435 |
|
|
|
|