| 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 7431-7432 | |
| (subclass Partnership Business) | Mid-level-ontology.kif 7430-7430 | Partnership is a subclass of business |
| appearance as argument number 2 |
|
|
| (subclass FamilyBusiness Partnership) | Mid-level-ontology.kif 7483-7483 | Family business is a subclass of partnership |
| (termFormat ChineseLanguage Partnership "合伙") | domainEnglishFormat.kif 44625-44625 | Family business is a subclass of partnership |
| (termFormat ChineseTraditionalLanguage Partnership "合夥") | domainEnglishFormat.kif 44624-44624 | Family business is a subclass of partnership |
| (termFormat EnglishLanguage Partnership "partnership") | domainEnglishFormat.kif 44623-44623 | 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 7434-7442 |
|
|
|
|