Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - subList
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 3011-3017
(domain subList 1 List) Merge.kif 3008-3008 The number 1 argument of sub list is an instance of list
(domain subList 2 List) Merge.kif 3009-3009 The number 2 argument of sub list is an instance of list
(instance subList BinaryPredicate) Merge.kif 3006-3006 sub list is an instance of binary predicate
(instance subList PartialOrderingRelation) Merge.kif 3007-3007 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 193-193
(subrelation initialList subList) Merge.kif 3141-3141 initial list is a subrelation of sub list
(termFormat ChineseLanguage subList "zi列表") chinese_format.kif 190-190
(termFormat ChineseLanguage subList "子列表") domainEnglishFormat.kif 55627-55627
(termFormat ChineseTraditionalLanguage subList "子列表") domainEnglishFormat.kif 55626-55626
(termFormat EnglishLanguage subList "sub list") domainEnglishFormat.kif 55625-55625


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners