| Partnership | |
| appearance as argument number 1 |
|
|
| (documentation Partnership EnglishLanguage "A Business that is owned by more than one person.") | Mid-level-ontology.kif 8393-8394 | |
| (subclass Partnership Business) | Mid-level-ontology.kif 8392-8392 |
| appearance as argument number 2 |
|
|
| (subclass FamilyBusiness Partnership) | Mid-level-ontology.kif 8445-8445 | |
| (termFormat ChineseLanguage Partnership "合伙") | domainEnglishFormat.kif 44623-44623 | |
| (termFormat ChineseTraditionalLanguage Partnership "合夥") | domainEnglishFormat.kif 44622-44622 | |
| (termFormat EnglishLanguage Partnership "partnership") | domainEnglishFormat.kif 44621-44621 |
| 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 8396-8404 |
|
|
|