Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
NuclearFamily(nuclear family)
|  | conjugal_family, nuclear_family |
| appearance as argument number 1 |
|
|
| (subclass NuclearFamily FamilyGroup) | Mid-level-ontology.kif 25496-25496 | Nuclear family is a subclass of family group |
| (subclass NuclearFamily SocialUnit) | Mid-level-ontology.kif 25497-25497 | Nuclear family is a subclass of social unit |
| (documentation NuclearFamily EnglishLanguage "A NuclearFamily is a SocialUnit composed of at least two and not more than three generations of familyRelations: parents, their children, and possibly the parents' parents (children's grandparents).") | Mid-level-ontology.kif 25499-25502 | Nuclear family is a subclass of social unit |
| (externalImage NuclearFamily "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ TheodoreRooseveltFamily.jpg") | pictureList.kif 4787-4787 | Nuclear family is a subclass of social unit |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (parent ?CHILD ?PARENT1) (parent ?CHILD ?PARENT2) (holdsDuring ?T1 (and (spouse ?PARENT1 ?PARENT2) (cohabitant ?PARENT1 ?PARENT2) (cohabitant ?CHILD ?PARENT1)))) (exists (?FAM) (and (instance ?FAM NuclearFamily) (holdsDuring ?T1 (and (member ?CHILD ?FAM) (member ?PARENT1 ?FAM) (member ?PARENT2 ?FAM)))))) |
Mid-level-ontology.kif 25504-25520 | If X is a parent of Y, Z is a parent of Y, and X is the spouse of Z, Z is a cohabitant of X, and X is a cohabitant of Y holds during W, then there exists V such that V is an instance of nuclear family, Y is a member of V, X is a member of V, and Z is a member of V holds during W |
|