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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SocialUnit
SocialUnit(social unit)

appearance as argument number 1
-------------------------


(documentation SocialUnit ChineseLanguage "这是一组有相同 homeGroupOfPeople。") chinese_format.kif 3676-3676
(documentation SocialUnit EnglishLanguage "A GroupOfPeople who all have the same home.") Merge.kif 16344-16345
(subclass SocialUnit GroupOfPeople) Merge.kif 16343-16343 Social unit is a subclass of group of people

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


(subclass NuclearFamily SocialUnit) Mid-level-ontology.kif 23231-23231 Nuclear family is a subclass of social unit
(termFormat ChineseLanguage SocialUnit "社会单位") domainEnglishFormat.kif 53656-53656
(termFormat ChineseTraditionalLanguage SocialUnit "社會單位") domainEnglishFormat.kif 53655-53655
(termFormat EnglishLanguage SocialUnit "social unit") domainEnglishFormat.kif 53654-53654

antecedent
-------------------------


(=>
    (and
        (instance ?UNIT SocialUnit)
        (holdsDuring ?T1
            (and
                (member ?UNIT ?H1)
                (member ?UNIT ?H2))))
    (holdsDuring ?T1
        (cohabitant ?H1 ?H2)))
Mid-level-ontology.kif 23050-23058
(=>
    (instance ?UNIT SocialUnit)
    (exists (?HOME ?MEMBER)
        (=>
            (member ?MEMBER ?UNIT)
            (home ?MEMBER ?HOME))))
Merge.kif 16347-16352

consequent
-------------------------


(=>
    (holdsDuring ?T1
        (cohabitant ?H1 ?H2))
    (exists (?UNIT)
        (and
            (instance ?UNIT SocialUnit)
            (holdsDuring ?T1
                (and
                    (member ?UNIT ?H1)
                    (member ?UNIT ?H2))))))
Mid-level-ontology.kif 23040-23048
(=>
    (instance ?RESIDENCE SingleFamilyResidence)
    (hasPurpose ?RESIDENCE
        (forall (?AGENT1 ?AGENT2)
            (=>
                (and
                    (home ?AGENT1 ?RESIDENCE)
                    (home ?AGENT2 ?RESIDENCE))
                (exists (?UNIT)
                    (and
                        (instance ?UNIT SocialUnit)
                        (member ?AGENT1 ?UNIT)
                        (member ?AGENT2 ?UNIT)))))))
Merge.kif 15871-15883


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