subset - Sigma Knowledge base Browser

appearance as argument number 1

(instance subset BinaryPredicate)	Merge.kif 5514-5514	subset is an instance of binary predicate
(domain subset 1 Set)	Merge.kif 5515-5515	The number 1 argument of subset is an instance of set
(domain subset 2 Set)	Merge.kif 5516-5516	The number 2 argument of subset is an instance of set
(documentation subset EnglishLanguage "(subset ?SET1 ?SET2) is true just in case the elements of the Set ?SET1 are also elements of the Set ?SET2.")	Merge.kif 5518-5519	The number 2 argument of subset is an instance of set

appearance as argument number 2

(termFormat EnglishLanguage subset "subset")	domainEnglishFormat.kif 55795-55795
(termFormat ChineseTraditionalLanguage subset "子集")	domainEnglishFormat.kif 55796-55796
(termFormat ChineseLanguage subset "子集")	domainEnglishFormat.kif 55797-55797
(format EnglishLanguage subset "%1 is %n a subset of %2")	english_format.kif 491-491

antecedent

(=>
    (and
        (subset ?SUBSET ?SET)
        (element ?ELEMENT ?SUBSET))
    (element ?ELEMENT ?SET))

If X is a subset of Y and Z is an element of X, then Z is an element of Y

consequent

(=>
    (=>
        (element ?ELEMENT ?SUBSET)
        (element ?ELEMENT ?SET))
    (subset ?SUBSET ?SET))

If if X is an element of Y, then X is an element of Z, then Y is a subset of Z