subset |
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 5397-5398 | |
(documentation subset JapaneseLanguage "(subset ?SET1 ?SET2) は、Set ?SET1のelement も Set ?SET2 の element の場合に備えて当てはまる。") | japanese_format.kif 955-956 | |
(domain subset 1 Set) | Merge.kif 5394-5394 | The number 1 argument of subset is an instance of set |
(domain subset 2 Set) | Merge.kif 5395-5395 | The number 2 argument of subset is an instance of set |
(instance subset BinaryPredicate) | Merge.kif 5393-5393 | subset is an instance of binary predicate |
(subrelation subset subclass) | Merge.kif 5392-5392 | subset is a subrelation of 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 | |
(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 55839-55839 | |
(termFormat EnglishLanguage subset "subset") | domainEnglishFormat.kif 55838-55838 | |
(termFormat FrenchLanguage subset "sous-ensemble") | french_format.kif 991-991 | |
(termFormat PortugueseLanguage subset "Subconjunto") | portuguese_format.kif 943-943 |
antecedent |
(=> (and (subset ?SUBSET ?SET) (element ?ELEMENT ?SUBSET)) (element ?ELEMENT ?SET)) |
Merge.kif 5400-5404 |
|
consequent |
(=> (=> (element ?ELEMENT ?SUBSET) (element ?ELEMENT ?SET)) (subset ?SUBSET ?SET)) |
Merge.kif 5406-5410 |
|