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 16306-16307 | |
(subclass GroupOfPeople Group) | Merge.kif 16305-16305 | GroupOfPeople è una sottoclasse di Gruppo |
appearance as argument number 2 |
appearance as argument number 3 |
(domain groupMember 2 GroupOfPeople) | Mid-level-ontology.kif 7584-7584 | Il numero 2 argomenti di groupMember è un istanza di GroupOfPeople |
antecedent |
consequent |