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 7266-7268
(domain groupMember 1 Human)	Mid-level-ontology.kif 7264-7264	The number 1 argument of group member is an instance of human
(domain groupMember 2 GroupOfPeople)	Mid-level-ontology.kif 7265-7265	The number 2 argument of group member is an instance of group of people
(instance groupMember BinaryPredicate)	Mid-level-ontology.kif 7263-7263	group member is an instance of binary predicate
(subrelation groupMember member)	Mid-level-ontology.kif 7262-7262	group member is a subrelation of member

appearance as argument number 2

(format EnglishLanguage groupMember "%1 is a member of %2")	domainEnglishFormat.kif 900-900
(termFormat EnglishLanguage groupMember "group member")	domainEnglishFormat.kif 4877-4877	"group member" is the printable form of group member in english language

consequent

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

Mid-level-ontology.kif 7270-7277