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 15149-15150
(subclass SocialUnit GroupOfPeople) Merge.kif 15148-15148

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


(subclass NuclearFamily SocialUnit) Mid-level-ontology.kif 19616-19616
(termFormat ChineseLanguage SocialUnit "社会单位") domainEnglishFormat.kif 53636-53636
(termFormat ChineseTraditionalLanguage SocialUnit "社會單位") domainEnglishFormat.kif 53635-53635
(termFormat EnglishLanguage SocialUnit "social unit") domainEnglishFormat.kif 53634-53634

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


(=>
    (and
        (instance ?UNIT SocialUnit)
        (holdsDuring ?T1
            (and
                (member ?UNIT ?H1)
                (member ?UNIT ?H2))))
    (holdsDuring ?T1
        (cohabitant ?H1 ?H2)))
Mid-level-ontology.kif 19435-19443
(=>
    (instance ?UNIT SocialUnit)
    (exists (?HOME)
        (=>
            (member ?MEMBER ?UNIT)
            (home ?MEMBER ?HOME))))
Merge.kif 15152-15157

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 19425-19433
(=>
    (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 14706-14718


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