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

Formal Language: 



KB Term:  Term intersection
English Word: 

  initialList

 Sigma KEE - initialList
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 3297-3300
(documentation initialList JapaneseLanguage "(initialList ?LIST1 ?LIST2) とは、?LIST1は ?LIST2 の sL であり、(ListOrderFn ?LIST1 ?NUMBER) は ?NUMBER の値 (ListOrderFn ?LIST1 ?NUMBER) が定義されているすべての値に対して (ListOrderFn ?LIST2 ?NUMBER) と同じ値を返す。") japanese_format.kif 613-616
(instance initialList BinaryPredicate) Merge.kif 3293-3293 initialList est une instance de pr�dicat binaire
(instance initialList PartialOrderingRelation) Merge.kif 3294-3294 initialList est une instance de relation partiellement dirig�e
(subrelation initialList subList) Merge.kif 3295-3295 initialList est une sous-relation de subList

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
(format FrenchLanguage initialList "%1 %n{ne} commence %n{pas} %2") french_format.kif 86-86
(format ItalianLanguage initialList "%1 %n{non} inizia%p{s} %2") relations-it.txt 145-145
(format JapaneseLanguage initialList "%1 は %2 を start%p{s} %n{ない}") japanese_format.kif 1913-1913
(format PortugueseLanguage initialList "%1 %n{nao} e' o comeco de %n %2") portuguese_format.kif 38-38
(format cz initialList "%1 %n{doesn't} start%p{s} %2") relations-cz.txt 105-105
(format de initialList "%1 beginnt %2 %n{nicht}") relations-de.txt 154-154
(format hi initialList "%2 %1 se praarambha %n{nahiin} hotaa hai") relations-hindi.txt 184-184
(format ro initialList "%1 %n{nu} start%t{începe} %2") relations-ro.kif 105-105
(format sv initialList "%1 börjar %n{inte} med %2") relations-sv.txt 85-85
(format tg initialList "%1 %n mula sa %2") relations-tg.txt 294-294
(termFormat ChineseLanguage initialList "初始清单") domainEnglishFormat.kif 30109-30109
(termFormat ChineseLanguage initialList "起始列表") chinese_format.kif 130-130
(termFormat ChineseTraditionalLanguage initialList "初始清單") domainEnglishFormat.kif 30108-30108
(termFormat EnglishLanguage initialList "initial list") domainEnglishFormat.kif 30107-30107
(termFormat de initialList "ausgangsList") terms-de.txt 46-46
(termFormat tg initialList "talaan una") relations-tg.txt 295-295

statement
-------------------------


(forall (@ROW ?ITEM)
    (initialList
        (ListFn @ROW)
        (ListFn @ROW ?ITEM)))		 Merge.kif 3316-3317 @ROW Entit� (@ROW) commence (@ROW + entit�)


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