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 | Il numero 1 argomenti di inList è un istanza di Entit� |
(domain inList 2 List) | Merge.kif 3108-3108 | Il numero 2 argomenti di inList è un istanza di Lista |
(instance inList BinaryPredicate) | Merge.kif 3105-3105 | inList è un' istanza di PredicatoBinario |
(instance inList PartialValuedRelation) | Merge.kif 3106-3106 | inList è un' istanza di RelazioneAValoreParziale |
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 è una sottorelazione di inList |
(termFormat ChineseLanguage inList "在列表中") | domainEnglishFormat.kif 30193-30193 | |
(termFormat ChineseLanguage inList "在列表内") | chinese_format.kif 132-132 | |
(termFormat ChineseTraditionalLanguage inList "在列表中") | domainEnglishFormat.kif 30192-30192 | |
(termFormat EnglishLanguage inList "in list") | domainEnglishFormat.kif 30191-30191 | |
(termFormat de inList "inListe") | terms-de.txt 47-47 | |
(termFormat tg inList "sa mula") | relations-tg.txt 299-299 |
antecedent |
consequent |