subset - Sigma Knowledge base Browser

appearance as argument number 1

(documentation subset ChineseLanguage "(subset ?SET1 ?SET2) 是真的，以防 Set ?SET1 的 elements 也是 Set ?SET2 的 element。")	chinese_format.kif 2287-2288
(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 5302-5303
(domain subset 1 Set)	Merge.kif 5299-5299	domain subset, 1 and Set
(domain subset 2 Set)	Merge.kif 5300-5300	domain subset, 2 and Set
(instance subset BinaryPredicate)	Merge.kif 5298-5298	instance subset and BinaryPredicate
(subrelation subset subclass)	Merge.kif 5297-5297	subrelation subset and subclass

appearance as argument number 2

(format ChineseLanguage subset "%1 %n 是 %2 的 subset")	chinese_format.kif 486-486
(format EnglishLanguage subset "%1 is %n a subset of %2")	english_format.kif 491-491
(termFormat ChineseLanguage subset "子集")	chinese_format.kif 487-487
(termFormat ChineseTraditionalLanguage subset "子集")	domainEnglishFormat.kif 55778-55778
(termFormat EnglishLanguage subset "subset")	domainEnglishFormat.kif 55777-55777

antecedent

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

Merge.kif 5305-5309

consequent

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

Merge.kif 5311-5315