inList |
appearance as argument number 1 |
(documentation inList ChineseLanguage "这是类似 List 的 element 和 instance。 (inList ?OBJ ?LIST) 的意思是 ?OBJ 是在 ?LIST List 里。例如: (inList Tuesday (ListFn Monday Tuesday Wednesday)) 是真的") | chinese_format.kif 1973-1975 | |
(documentation inList EnglishLanguage "The analog of element and instance for Lists. (inList ?OBJ ?LIST) means that ?OBJ is in the List ?LIST. For example, (inList Tuesday (ListFn Monday Tuesday Wednesday)) would be true.") | Merge.kif 3110-3112 | |
(documentation inList JapaneseLanguage "Lists の element と instance のアナログ。 (inList ?OBJ ?LIST)とは、?OBJ が List ?LIST 内であることを意味する。例: (inList Tuesday (ListFn Monday Tuesday Wednesday)) は正しい。") | japanese_format.kif 605-607 | |
(domain inList 1 Entity) | Merge.kif 3107-3107 | Le nombre 1 argument de inList est une instance de entit� |
(domain inList 2 List) | Merge.kif 3108-3108 | Le nombre 2 argument de inList est une instance de liste |
(instance inList BinaryPredicate) | Merge.kif 3105-3105 | inList est une instance de pr�dicat binaire |
(instance inList PartialValuedRelation) | Merge.kif 3106-3106 | inList est une instance de relation partielle |
appearance as argument number 2 |
(format ChineseLanguage inList "%1 %n 是 %2 的 member") | chinese_format.kif 131-131 | |
(format EnglishLanguage inList "%1 is %n a member of %2") | english_format.kif 132-132 | |
(format FrenchLanguage inList "%1 est %n un membre de %2") | french_format.kif 87-87 | |
(format ItalianLanguage inList "%1 è %n un è membro di %2") | relations-it.txt 147-147 | |
(format JapaneseLanguage inList "%1 は %2 の member では %n") | japanese_format.kif 1914-1914 | |
(format PortugueseLanguage inList "%1 e' %n um membro de %2") | portuguese_format.kif 39-39 | |
(format cz inList "%1 %p{je} %n{nen�} a member of %2") | relations-cz.txt 103-103 | |
(format de inList "%1 ist ein Mitglied von %2") | relations-de.txt 157-157 | |
(format hi inList "%1 %2 kaa sadasya %n hai") | relations-hindi.txt 186-186 | |
(format ro inList "%1 %n{nu} este un member%t{element} al lui %2") | relations-ro.kif 106-106 | |
(format sv inList "%1 är %n{inte} en medlem i %2") | relations-sv.txt 86-86 | |
(format tg inList "%1 %n ay ang kasapi ng %2") | relations-tg.txt 298-298 | |
(subrelation albumTrack inList) | Music.kif 332-332 | albumTrack est une sous-relation de inList |
(termFormat ChineseLanguage inList "在列表中") | domainEnglishFormat.kif 30227-30227 | albumTrack est une sous-relation de inList |
(termFormat ChineseLanguage inList "在列表内") | chinese_format.kif 132-132 | albumTrack est une sous-relation de inList |
(termFormat ChineseTraditionalLanguage inList "在列表中") | domainEnglishFormat.kif 30226-30226 | albumTrack est une sous-relation de inList |
(termFormat EnglishLanguage inList "in list") | domainEnglishFormat.kif 30225-30225 | albumTrack est une sous-relation de inList |
(termFormat de inList "inListe") | terms-de.txt 47-47 | albumTrack est une sous-relation de inList |
(termFormat tg inList "sa mula") | relations-tg.txt 299-299 | albumTrack est une sous-relation de inList |
antecedent |
consequent |