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 5423-5424
(documentation subset JapaneseLanguage "(subset ?SET1 ?SET2) は、Set ?SET1のelement も Set ?SET2 の element の場合に備えて当てはまる。")	japanese_format.kif 955-956
(domain subset 1 Set)	Merge.kif 5420-5420
(domain subset 2 Set)	Merge.kif 5421-5421
(instance subset BinaryPredicate)	Merge.kif 5419-5419

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
(format FrenchLanguage subset "%1 est %n un sous-ensemble de %2")	french_format.kif 284-284
(format ItalianLanguage subset "%1 è %n un sottoinsieme di %2")	relations-it.txt 280-280
(format JapaneseLanguage subset "%1 は %2 の subset %n")	japanese_format.kif 2065-2065
(format PortugueseLanguage subset "%1 e' %n um sub-conjunto de %2")	portuguese_format.kif 236-236
(format cz subset "%1 %p{je} %n{nen�} a subset of %2")	relations-cz.txt 290-290
(format de subset "%1 ist eine teilmenge von %2 %n{nicht}")	relations-de.txt 630-630
(format hi subset "%1 %2 kaa upasamuuha %n hai")	relations-hindi.txt 317-317
(format ro subset "%1 %n{nu} este o subset%t{submulþime} a lui %2")	relations-ro.kif 305-305
(format sv subset "%1 är %n{inte} en delmängd av %2")	relations-sv.txt 311-311
(format tg subset "%1 is %n ay ang bahagi ng pulutong ng %2")	relations-tg.txt 472-472
(termFormat ChineseLanguage subset "子集")	chinese_format.kif 487-487
(termFormat ChineseTraditionalLanguage subset "子集")	domainEnglishFormat.kif 55803-55803
(termFormat EnglishLanguage subset "subset")	domainEnglishFormat.kif 55802-55802
(termFormat FrenchLanguage subset "sous-ensemble")	french_format.kif 991-991
(termFormat PortugueseLanguage subset "Subconjunto")	portuguese_format.kif 943-943
(termFormat de subset "teilmenge")	terms-de.txt 194-194

antecedent

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

Merge.kif 5426-5430

consequent

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

Merge.kif 5432-5436