SocialUnit(social unit) |
appearance as argument number 1 |
(documentation SocialUnit ChineseLanguage "这是一组有相同 home 的GroupOfPeople。") | 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 |