| 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 | |
| (instance initialList PartialOrderingRelation) | Merge.kif 3294-3294 | |
| (subrelation initialList subList) | Merge.kif 3295-3295 |
| 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 |
|
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