| 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 6932-6933 | |
| (subclass FamilyBusiness Partnership) | Mid-level-ontology.kif 6931-6931 | Family business is a subclass of partnership |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage FamilyBusiness "家族企业") | domainEnglishFormat.kif 23131-23131 | |
| (termFormat ChineseTraditionalLanguage FamilyBusiness "家族企業") | domainEnglishFormat.kif 23130-23130 | |
| (termFormat EnglishLanguage FamilyBusiness "family business") | domainEnglishFormat.kif 23129-23129 |
| antecedent |
|
|
| (=> (and (instance ?C FamilyBusiness) (possesses ?P1 ?C) (possesses ?P2 ?C)) (familyRelation ?P1 ?P2)) |
Mid-level-ontology.kif 6934-6939 |
|
|
|
|