SuspendedMember - Sigma Knowledge base Browser

appearance as argument number 1

Suspended member is an instance of member status

appearance as argument number 2

(termFormat EnglishLanguage SuspendedMember "suspended member")	domainEnglishFormat.kif 56396-56396
(termFormat ChineseTraditionalLanguage SuspendedMember "暫停會員")	domainEnglishFormat.kif 56397-56397
(termFormat ChineseLanguage SuspendedMember "暂停会员")	domainEnglishFormat.kif 56398-56398

antecedent

(=>
    (associateWithStatus ?AGENT SuspendedMember ?GROUP)
    (not
        (member ?AGENT ?GROUP)))

If X associate with status suspended member for Y, then X is not a member of Y