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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - SocialUnit
SocialUnit

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 16448-16449
(subclass SocialUnit GroupOfPeople) Merge.kif 16447-16447 SocialUnitGroupOfPeoplesubclass では

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


(subclass NuclearFamily SocialUnit) Mid-level-ontology.kif 24820-24820 NuclearFamilySocialUnitsubclass では
(termFormat ChineseLanguage SocialUnit "社会单位") domainEnglishFormat.kif 53658-53658 NuclearFamilySocialUnitsubclass では
(termFormat ChineseTraditionalLanguage SocialUnit "社會單位") domainEnglishFormat.kif 53657-53657 NuclearFamilySocialUnitsubclass では
(termFormat EnglishLanguage SocialUnit "social unit") domainEnglishFormat.kif 53656-53656 NuclearFamilySocialUnitsubclass では

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


(=>
    (and
        (instance ?UNIT SocialUnit)
        (holdsDuring ?T1
            (and
                (member ?UNIT ?H1)
                (member ?UNIT ?H2))))
    (holdsDuring ?T1
        (cohabitant ?H1 ?H2)))
Mid-level-ontology.kif 24639-24647
(=>
    (instance ?UNIT SocialUnit)
    (exists (?HOME ?MEMBER)
        (=>
            (member ?MEMBER ?UNIT)
            (home ?MEMBER ?HOME))))
Merge.kif 16451-16456

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 24629-24637
(=>
    (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 15975-15987


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