Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| subList |
| appearance as argument number 1 |
|
| (instance subList BinaryPredicate) | Merge.kif 3229-3229 | sub list is an instance of binary predicate |
| (instance subList PartialOrderingRelation) | Merge.kif 3230-3230 | sub list is an instance of partial ordering relation |
| (domain subList 1 List) | Merge.kif 3231-3231 | The number 1 argument of sub list is an instance of list |
| (domain subList 2 List) | Merge.kif 3232-3232 | The number 2 argument of sub list is an instance of list |
| (documentation subList EnglishLanguage "(subList ?LIST1 ?LIST2) means that ?LIST1 is a sublist of ?LIST2, i.e. every element of ?LIST1 is an element of ?LIST2 and the elements that are common to both Lists have the same order in both Lists. Elements that are common to both Lists and are consecutive in one list must also be consecutive in the other list. (Therefore - the list of prime numbers smaller than 10 [1 2 3 5 7] is not a subList of the natural numbers smaller than 10 [1 2 3 4 5 6 7 8 9]).") | Merge.kif 3234-3240 | The number 2 argument of sub list is an instance of list |
| appearance as argument number 2 |
|
|
| (subrelation initialList subList) | Merge.kif 3405-3405 | initial list is a subrelation of sub list |
| (termFormat EnglishLanguage subList "sub list") | domainEnglishFormat.kif 55729-55729 | initial list is a subrelation of sub list |
| (termFormat ChineseTraditionalLanguage subList "子列表") | domainEnglishFormat.kif 55730-55730 | initial list is a subrelation of sub list |
| (termFormat ChineseLanguage subList "子列表") | domainEnglishFormat.kif 55731-55731 | initial list is a subrelation of sub list |
| (format EnglishLanguage subList "%1 is %n a sublist of %2") | english_format.kif 190-190 | initial list is a subrelation of sub list |
|