| NuclearFamily(nuclear family)
| | conjugal_family, nuclear_family |
| appearance as argument number 1 |
|
|
| (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 24841-24844 | |
| (externalImage NuclearFamily "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ TheodoreRooseveltFamily.jpg") | pictureList.kif 4787-4787 | |
| (subclass NuclearFamily FamilyGroup) | Mid-level-ontology.kif 24838-24838 | Nuclear family is a subclass of family group |
| (subclass NuclearFamily SocialUnit) | Mid-level-ontology.kif 24839-24839 | Nuclear family is a subclass of social unit |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage NuclearFamily "核心家庭") | domainEnglishFormat.kif 41392-41392 | |
| (termFormat ChineseTraditionalLanguage NuclearFamily "核心家庭") | domainEnglishFormat.kif 41391-41391 | |
| (termFormat EnglishLanguage NuclearFamily "nuclear family") | domainEnglishFormat.kif 41390-41390 |
| 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 24846-24862 |
|
|
|
|