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 8725-8727 | |
(domain groupMember 1 Human) | Mid-level-ontology.kif 8723-8723 | The number 1 argument of group member is an instance of human |
(domain groupMember 2 GroupOfPeople) | Mid-level-ontology.kif 8724-8724 | The number 2 argument of group member is an instance of group of people |
(instance groupMember BinaryPredicate) | Mid-level-ontology.kif 8722-8722 | group member is an instance of binary predicate |
(subrelation groupMember member) | Mid-level-ontology.kif 8721-8721 | group member is a subrelation of member |
appearance as argument number 2 |
![]() |
(format ChineseLanguage groupMember "%1 是 %2 的 member ") | domainEnglishFormat.kif 3560-3560 | |
(format ChineseTraditionalLanguage groupMember "%1 是 %2 的 member ") | domainEnglishFormat.kif 3559-3559 | |
(format EnglishLanguage groupMember "%1 is a member of %2") | domainEnglishFormat.kif 3558-3558 | |
(termFormat ChineseLanguage groupMember "小组成员") | domainEnglishFormat.kif 26747-26747 | |
(termFormat ChineseTraditionalLanguage groupMember "小組成員") | domainEnglishFormat.kif 26746-26746 | |
(termFormat EnglishLanguage groupMember "group member") | domainEnglishFormat.kif 26745-26745 |
consequent |
![]() |
(=> (and (holdsDuring ?T1 (member ?OBJ ?GROUP)) (instance ?OBJ Human) (instance ?GROUP GroupOfPeople)) (holdsDuring ?T1 (groupMember ?OBJ ?GROUP))) |
Mid-level-ontology.kif 8729-8736 |
|
![]() |
![]() |