groupMember - Sigma Knowledge base Browser

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	小组成员的 1 数量是人类的 instance
(domain groupMember 2 GroupOfPeople)	Mid-level-ontology.kif 7584-7584	小组成员的 2 数量是一群人的 instance
(instance groupMember BinaryPredicate)	Mid-level-ontology.kif 7582-7582	小组成员是二元谓语的 instance
(subrelation groupMember member)	Mid-level-ontology.kif 7581-7581	小组成员是组员的 subrelation

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