TreeView 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 5296-5297
(domain subset 1 Set)	Merge.kif 5293-5293
(domain subset 2 Set)	Merge.kif 5294-5294
(instance subset BinaryPredicate)	Merge.kif 5292-5292
(subrelation subset subclass)	Merge.kif 5291-5291

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 5299-5303

consequent

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

Merge.kif 5305-5309