Partnership
|
|
appearance as argument number 1 |
(documentation Partnership EnglishLanguage "A Business that is owned by more than one person.") | Mid-level-ontology.kif 7213-7214 | |
(subclass Partnership Business) | Mid-level-ontology.kif 7212-7212 | Partnership is a subclass of business |
appearance as argument number 2 |
(subclass FamilyBusiness Partnership) | Mid-level-ontology.kif 7265-7265 | Family business is a subclass of partnership |
(termFormat ChineseLanguage Partnership "合伙") | domainEnglishFormat.kif 44592-44592 | |
(termFormat ChineseTraditionalLanguage Partnership "合夥") | domainEnglishFormat.kif 44591-44591 | |
(termFormat EnglishLanguage Partnership "partnership") | domainEnglishFormat.kif 44590-44590 |
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 7216-7224 |
|