| Partnership(partnership) | | partnership |
| appearance as argument number 1 |
|
|
| (documentation Partnership EnglishLanguage "A Business that is owned by more than one person.") | Mid-level-ontology.kif 7986-7987 | |
| (subclass Partnership Business) | Mid-level-ontology.kif 7985-7985 | Partnership is a subclass of business |
| appearance as argument number 2 |
|
|
| (subclass FamilyBusiness Partnership) | Mid-level-ontology.kif 8038-8038 | Family business is a subclass of partnership |
| (termFormat ChineseLanguage Partnership "合伙") | domainEnglishFormat.kif 44623-44623 | Family business is a subclass of partnership |
| (termFormat ChineseTraditionalLanguage Partnership "合夥") | domainEnglishFormat.kif 44622-44622 | Family business is a subclass of partnership |
| (termFormat EnglishLanguage Partnership "partnership") | domainEnglishFormat.kif 44621-44621 | Family business is a subclass of partnership |
| antecedent |
|
|
| (=> (instance ?C Partnership) (exists (?H1 ?H2) (and (instance ?H1 Human) (instance ?H2 Human) (not (equal ?H1 ?H2)) (possesses ?H1 ?C) (possesses ?H2 ?C)))) |
Mid-level-ontology.kif 7989-7997 |
|
|
|
|