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 7240-7241 | |
(subclass Partnership Business) | Mid-level-ontology.kif 7239-7239 | Partnership is a subclass of business |
appearance as argument number 2 |
(subclass FamilyBusiness Partnership) | Mid-level-ontology.kif 7292-7292 | Family business is a subclass of partnership |
(termFormat ChineseLanguage Partnership "合伙") | domainEnglishFormat.kif 44594-44594 | |
(termFormat ChineseTraditionalLanguage Partnership "合夥") | domainEnglishFormat.kif 44593-44593 | |
(termFormat EnglishLanguage Partnership "partnership") | domainEnglishFormat.kif 44592-44592 |
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 7243-7251 |
|