TreeView Knowledge Base Browser

appearance as argument number 1

(subrelation groupMember member)	Mid-level-ontology.kif 8875-8875	group member is a subrelation of member
(instance groupMember BinaryPredicate)	Mid-level-ontology.kif 8876-8876	group member is an instance of binary predicate
(domain groupMember 1 Human)	Mid-level-ontology.kif 8877-8877	The number 1 argument of group member is an instance of human
(domain groupMember 2 GroupOfPeople)	Mid-level-ontology.kif 8878-8878	The number 2 argument of group member is an instance of group of people
(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 8879-8881	The number 2 argument of group member is an instance of group of people

appearance as argument number 2

(format EnglishLanguage groupMember "%1 is a member of %2")	domainEnglishFormat.kif 3558-3558
(format ChineseTraditionalLanguage groupMember "%1 是 %2 的 member ")	domainEnglishFormat.kif 3559-3559
(format ChineseLanguage groupMember "%1 是 %2 的 member ")	domainEnglishFormat.kif 3560-3560
(termFormat EnglishLanguage groupMember "group member")	domainEnglishFormat.kif 26738-26738
(termFormat ChineseTraditionalLanguage groupMember "小組成員")	domainEnglishFormat.kif 26739-26739
(termFormat ChineseLanguage groupMember "小组成员")	domainEnglishFormat.kif 26740-26740

consequent

(=>
    (and
        (holdsDuring ?T1
            (member ?OBJ ?GROUP))
        (instance ?OBJ Human)
        (instance ?GROUP GroupOfPeople))
    (holdsDuring ?T1
        (groupMember ?OBJ ?GROUP)))

If X is a member of Y holds during Z, X is an instance of human, and Y is an instance of group of people, then X is a member of Y holds during Z