NullList - Sigma Knowledge base Browser

appearance as argument number 1

(documentation NullList ChineseLanguage "这是一个没有项目的 List，NullList 的独特之处是因为 List 是可以延伸，也就是说俩个含有相同项目以相同顺序排列的列表是一样的。")	chinese_format.kif 1960-1961
(documentation NullList EnglishLanguage "The List that has no items. The uniqueness of NullList follows from the extensionality of Lists, i.e. the fact that two Lists with the same items in the same order are identical.")	Merge.kif 2920-2922
(documentation NullList JapaneseLanguage "項目のない List 。NullList の一意性は、 Lists の拡張性、すなわち、同じ順序で同じ項目を持つ２つの List が同じであるという事実。")	japanese_format.kif 592-593
(instance NullList List)	Merge.kif 2918-2918	Null list is an instance of list

appearance as argument number 2

(termFormat ChineseLanguage NullList "空列表")	domainEnglishFormat.kif 41459-41459
(termFormat ChineseTraditionalLanguage NullList "空列表")	domainEnglishFormat.kif 41458-41458
(termFormat EnglishLanguage NullList "null list")	domainEnglishFormat.kif 41457-41457

antecedent

(=> (and (equal ?LIST3 (ListConcatenateFn ?LIST1 ?LIST2)) (not (equal ?LIST1 NullList)) (not (equal ?LIST2 NullList)) (lessThanOrEqualTo ?NUMBER1 (ListLengthFn ?LIST1)) (lessThanOrEqualTo ?NUMBER2 (ListLengthFn ?LIST2)) (instance ?NUMBER1 PositiveInteger) (instance ?NUMBER2 PositiveInteger)) (and (equal (ListOrderFn ?LIST3 ?NUMBER1) (ListOrderFn ?LIST1 ?NUMBER1)) (equal (ListOrderFn ?LIST3 (AdditionFn (ListLengthFn ?LIST1) ?NUMBER2)) (ListOrderFn ?LIST2 ?NUMBER2))))	Merge.kif 3084-3103	If a list is equal to the list composed of another list and a third list and the other list is not equal to null list and the third list is not equal to null list and a positive integer is less than or equal to length of the other list and another positive integer is less than or equal to length of the third list and the positive integer is an instance of positive integer and the other positive integer is an instance of positive integer, then the positive integerth element of the list is equal to the positive integerth element of the other list and (length of the other list and the other positive integer)th element of the list is equal to the other positive integerth element of the third list
(=> (and (instance ?LIST List) (not (equal ?LIST NullList))) (equal (FirstFn ?LIST) (ListOrderFn ?LIST 1)))	Merge.kif 3233-3238	If a list is an instance of list and the list is not equal to null list, then the first of the list is equal to 1th element of the list

consequent

(=>
    (and
        (equal ?R
            (SubListFn ?S ?E ?L))
        (equal
            (SubtractionFn ?E ?S) 0))
    (equal ?R NullList))

Merge.kif 3171-3178

If a list is equal to the sub-list from an integer to another integer of another list and (the other integer and the integer) is equal to 0,
then the list is equal to null list

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: