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 16257-16258 | |
(subclass GroupOfPeople Group) | Merge.kif 16256-16256 | GroupOfPeople は グループ の subclass では %n |
appearance as argument number 2 |
appearance as argument number 3 |
(domain groupMember 2 GroupOfPeople) | Mid-level-ontology.kif 7556-7556 | groupMember の数値 2 引数は GroupOfPeople の instance では %n |
antecedent |
consequent |