Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| initialList |
| appearance as argument number 1 |
|
| (instance initialList BinaryPredicate) | Merge.kif 3403-3403 | initial list is an instance of binary predicate |
| (instance initialList PartialOrderingRelation) | Merge.kif 3404-3404 | initial list is an instance of partial ordering relation |
| (subrelation initialList subList) | Merge.kif 3405-3405 | initial list is a subrelation of sub list |
| (domain initialList 1 List) | Merge.kif 3406-3406 | The number 1 argument of initial list is an instance of list |
| (domain initialList 2 List) | Merge.kif 3407-3407 | The number 2 argument of initial list is an instance of list |
| (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 3409-3412 | The number 2 argument of initial list is an instance of list |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage initialList "initial list") | domainEnglishFormat.kif 30111-30111 | |
| (termFormat ChineseTraditionalLanguage initialList "初始清單") | domainEnglishFormat.kif 30112-30112 | |
| (termFormat ChineseLanguage initialList "初始清单") | domainEnglishFormat.kif 30113-30113 | |
| (format EnglishLanguage initialList "%1 %n{doesn't} start%p{s} %2") | english_format.kif 130-130 |
| statement |
|
|
| (forall (@ROW ?ITEM) (initialList (ListFn @ROW) (ListFn @ROW ?ITEM))) |
Merge.kif 3428-3429 | For all Entity Y: (@ROW) starts (@ROW and Y) |
|