Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (subclass FamilyGroup GroupOfPeople) | Merge.kif 16618-16618 | Family group is a subclass of group of people |
| (documentation FamilyGroup EnglishLanguage "A GroupOfPeople whose members bear familyRelations to one another.") | Merge.kif 16619-16620 | Family group is a subclass of group of people |
| (externalImage FamilyGroup "http://upload.wikimedia.org/wikipedia/commons/ b/ b7/ US_hoosier_family.jpg") | pictureList.kif 1477-1477 | Family group is a subclass of group of people |
| appearance as argument number 2 |
|
|
| (range ImmediateFamilyFn FamilyGroup) | Merge.kif 16645-16645 | The range of immediate family is an instance of family group |
| (range DescendantsFn FamilyGroup) | Mid-level-ontology.kif 8784-8784 | The range of descendants is an instance of family group |
| (subclass NuclearFamily FamilyGroup) | Mid-level-ontology.kif 25496-25496 | Nuclear family is a subclass of family group |
| (termFormat EnglishLanguage FamilyGroup "family group") | english_format.kif 1345-1345 | Nuclear family is a subclass of family group |
| antecedent |
|
|
| (=> (instance ?GROUP FamilyGroup) (forall (?MEMB1 ?MEMB2) (=> (and (member ?MEMB1 ?GROUP) (member ?MEMB2 ?GROUP)) (familyRelation ?MEMB1 ?MEMB2)))) |
Merge.kif 16622-16629 | If X is an instance of family group, then For all Organisms Y and Z: if Y is a member of X and Z is a member of X, then Y and Z are related |
|
