GroupOfPeople
|
|
appearance as argument number 1 |
(documentation GroupOfPeople ChineseLanguage "这是 member 只限属于 Human 的任何 Group。") | chinese_format.kif 3670-3671 | |
(documentation GroupOfPeople EnglishLanguage "Any Group whose members are exclusively Humans.") | Merge.kif 16235-16236 | |
(subclass GroupOfPeople Group) | Merge.kif 16234-16234 | Group of people is a subclass of group |
appearance as argument number 2 |
appearance as argument number 3 |
(domain groupMember 2 GroupOfPeople) | Mid-level-ontology.kif 7557-7557 | The number 2 argument of group member is an instance of group of people |
antecedent |
consequent |