Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FamilyBusiness(family business) |  | family_business |
| appearance as argument number 1 |
|
|
| (subclass FamilyBusiness Partnership) | Mid-level-ontology.kif 8562-8562 | Family business is a subclass of partnership |
| (documentation FamilyBusiness EnglishLanguage "A Partnership that is owned by a single family.") | Mid-level-ontology.kif 8563-8564 | Family business is a subclass of partnership |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?C FamilyBusiness) (possesses ?P1 ?C) (possesses ?P2 ?C)) (familyRelation ?P1 ?P2)) |
Mid-level-ontology.kif 8566-8571 | If X is an instance of family business, Y possesses X, and Z possesses X, then Y and Z are related |
|