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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NuclearFamily

Sigma KEE - NuclearFamily
NuclearFamily

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 21122-21125
(externalImage NuclearFamily "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ TheodoreRooseveltFamily.jpg") pictureList.kif 4789-4789
(subclass NuclearFamily FamilyGroup) Mid-level-ontology.kif 21119-21119 subclass NuclearFamily and FamilyGroup
(subclass NuclearFamily SocialUnit) Mid-level-ontology.kif 21120-21120 subclass NuclearFamily and SocialUnit

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage NuclearFamily "核心家庭") domainEnglishFormat.kif 41287-41287
(termFormat ChineseTraditionalLanguage NuclearFamily "核心家庭") domainEnglishFormat.kif 41286-41286
(termFormat EnglishLanguage NuclearFamily "nuclear family") domainEnglishFormat.kif 41285-41285

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 21130-21146


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

Show without tree


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