subList |
appearance as argument number 1 |
![]() |
(documentation subList ChineseLanguage "(subList ?LIST1 ?LIST2) 的意思是 ?LIST1 是 ?LIST2 的子类别,也就是说 ?LIST1 的所有的元素都是 ?LIST2 的元素,同时属于这两个 List 的元素在两个 List 的顺序是相同的。同时出现在这两个表列的元素,如果那些元素在其中一个表列是连续的,那么它们在另外一个表列也必须 会连续的。(所以 - 小于10 [1 2 3 5 7]的素数表列不是小于10 [1 2 3 4 5 6 7 8 9]自然数表列的子类别)。") | chinese_format.kif 1976-1979 | |
(documentation subList EnglishLanguage "(subList ?LIST1 ?LIST2) means that ?LIST1 is a sublist of ?LIST2, i.e. every element of ?LIST1 is an element of ?LIST2 and the elements that are common to both Lists have the same order in both Lists. Elements that are common to both Lists and are consecutive in one list must also be consecutive in the other list. (Therefore - the list of prime numbers smaller than 10 [1 2 3 5 7] is not a subList of the natural numbers smaller than 10 [1 2 3 4 5 6 7 8 9]).") | Merge.kif 3123-3129 | |
(documentation subList JapaneseLanguage "(subList ?LIST1 ?LIST2) とは、?LIST1 が ?LIST2 のサブリスト、すなわち ?LIST2 であることを意味する。?LIST1 のすべての要素は ?LIST2 の要素であり、 両方の List に共通する要素は両方の List で同じ順序である。両方のリストに共通で、一方のリストで 連続している要素も、もう一方のリストで連続している必要がある。(したがって- 10より小さい素数の リスト[1 2 3 5 7]は、10[1 2 3 5 6 7 8 9]より小さい自然数のサブリストではない。") | japanese_format.kif 608-612 | |
(domain subList 1 List) | Merge.kif 3120-3120 | The number 1 argument of sub list is an instance of list |
(domain subList 2 List) | Merge.kif 3121-3121 | The number 2 argument of sub list is an instance of list |
(instance subList BinaryPredicate) | Merge.kif 3118-3118 | sub list is an instance of binary predicate |
(instance subList PartialOrderingRelation) | Merge.kif 3119-3119 | sub list is an instance of partial ordering relation |
appearance as argument number 2 |
![]() |
(format ChineseLanguage subList "%1 %n 是 %2 的 subList") | chinese_format.kif 189-189 | |
(format EnglishLanguage subList "%1 is %n a sublist of %2") | english_format.kif 190-190 | |
(format FrenchLanguage subList "%1 est %n une sous-liste de %2") | french_format.kif 114-114 | |
(format ItalianLanguage subList "%1 è %n una sottolista di %2") | relations-it.txt 274-274 | |
(format JapaneseLanguage subList "%1 は %2 の sublist では %n") | japanese_format.kif 1943-1943 | |
(format PortugueseLanguage subList "%1 e' %n uma sub-lista de %2") | portuguese_format.kif 66-66 | |
(format cz subList "%1 %p{je} %n{nen�} a sublist of %2") | relations-cz.txt 104-104 | |
(format de subList "%1 ist eine teilliste von %2 %n{nicht}") | relations-de.txt 241-241 | |
(format hi subList "%1 %2 kii upasuuchii %n hai") | relations-hindi.txt 311-311 | |
(format ro subList "%1 %n{nu} este o sublist%t{sublistã} a lui %2") | relations-ro.kif 133-133 | |
(format sv subList "%1 är %n{inte} en dellista av %2") | relations-sv.txt 119-119 | |
(format tg subList "%1 %n ay ang tala mas baba ng %2") | relations-tg.txt 466-466 | |
(subrelation initialList subList) | Merge.kif 3294-3294 | initial list is a subrelation of sub list |
(termFormat ChineseLanguage subList "zi列表") | chinese_format.kif 190-190 | |
(termFormat ChineseLanguage subList "子列表") | domainEnglishFormat.kif 55736-55736 | |
(termFormat ChineseTraditionalLanguage subList "子列表") | domainEnglishFormat.kif 55735-55735 | |
(termFormat EnglishLanguage subList "sub list") | domainEnglishFormat.kif 55734-55734 | |
(termFormat de subList "teilliste") | terms-de.txt 76-76 |
![]() |
![]() |