Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NuclearFamily
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 24295-24298
(externalImage NuclearFamily "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ TheodoreRooseveltFamily.jpg") pictureList.kif 4787-4787
(subclass NuclearFamily FamilyGroup) Mid-level-ontology.kif 24292-24292 Nuclear family is a subclass of family group
(subclass NuclearFamily SocialUnit) Mid-level-ontology.kif 24293-24293 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 24300-24316


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners