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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SocialUnit

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 16344-16345
(subclass SocialUnit GroupOfPeople) Merge.kif 16343-16343

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


(subclass NuclearFamily SocialUnit) Mid-level-ontology.kif 23231-23231
(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 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