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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - initialList

appearance as argument number 1

(documentation initialList ChineseLanguage "(initialList ?LIST1 ?LIST2) 的意思是 ?LIST1 是 ?LIST2 的一个 subList,而且(ListOrderFn ?LIST1 ?NUMBER),所交出按照 (ListOrderFn ?LIST1 ?NUMBER)里定义 ?NUMBER 的所有的值和(ListOrderFn ?LIST2 ?NUMBER)相同 的值。") chinese_format.kif 1980-1983
(documentation initialList EnglishLanguage "(initialList ?LIST1 ?LIST2) means that ?LIST1 is a subList of ?LIST2 and (ListOrderFn ?LIST1 ?NUMBER) returns the same value as (ListOrderFn ?LIST2 ?NUMBER) for all of the values of ?NUMBER over which (ListOrderFn ?LIST1 ?NUMBER) is defined.") Merge.kif 3225-3228
(instance initialList BinaryPredicate) Merge.kif 3221-3221
(instance initialList PartialOrderingRelation) Merge.kif 3222-3222
(subrelation initialList subList) Merge.kif 3223-3223

appearance as argument number 2

(format ChineseLanguage initialList "%1 %n{doesn't} %starts %2") chinese_format.kif 129-129
(format EnglishLanguage initialList "%1 %n{doesn't} start%p{s} %2") english_format.kif 130-130
(termFormat ChineseLanguage initialList "初始清单") domainEnglishFormat.kif 30096-30096
(termFormat ChineseLanguage initialList "起始列表") chinese_format.kif 130-130
(termFormat ChineseTraditionalLanguage initialList "初始清單") domainEnglishFormat.kif 30095-30095
(termFormat EnglishLanguage initialList "initial list") domainEnglishFormat.kif 30094-30094


(forall (@ROW ?ITEM)
        (ListFn @ROW)
        (ListFn @ROW ?ITEM)))
Merge.kif 3244-3245

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

Show without tree

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