groupMember |
appearance as argument number 1 |
(documentation groupMember EnglishLanguage "A subrelation of member, groupMember is used to relate a Human to a GroupOfPeople of which he/ she is a member.") | Mid-level-ontology.kif 7585-7587 | |
(domain groupMember 1 Human) | Mid-level-ontology.kif 7583-7583 | The number 1 argument of group member is an instance of human |
(domain groupMember 2 GroupOfPeople) | Mid-level-ontology.kif 7584-7584 | The number 2 argument of group member is an instance of group of people |
(instance groupMember BinaryPredicate) | Mid-level-ontology.kif 7582-7582 | group member is an instance of binary predicate |
(subrelation groupMember member) | Mid-level-ontology.kif 7581-7581 | group member is a subrelation of member |
appearance as argument number 2 |
(format ChineseLanguage groupMember "%1 是 %2 的 member ") | domainEnglishFormat.kif 3562-3562 | |
(format ChineseTraditionalLanguage groupMember "%1 是 %2 的 member ") | domainEnglishFormat.kif 3561-3561 | |
(format EnglishLanguage groupMember "%1 is a member of %2") | domainEnglishFormat.kif 3560-3560 | |
(termFormat ChineseLanguage groupMember "小组成员") | domainEnglishFormat.kif 26736-26736 | |
(termFormat ChineseTraditionalLanguage groupMember "小組成員") | domainEnglishFormat.kif 26735-26735 | |
(termFormat EnglishLanguage groupMember "group member") | domainEnglishFormat.kif 26734-26734 |
consequent |
(=> (and (holdsDuring ?T1 (member ?OBJ ?GROUP)) (instance ?OBJ Human) (instance ?GROUP GroupOfPeople)) (holdsDuring ?T1 (groupMember ?OBJ ?GROUP))) |
Mid-level-ontology.kif 7589-7596 |
|