element |
appearance as argument number 1 |
(documentation element ChineseLanguage "(element ?ENTITY ?SET)是真的,以防 Set ?SET 已包含 了这个 ?ENTITY。一个 Entity 可以是另外一个 Entity 的 element 当且仅当后者是一个 Set。") | chinese_format.kif 2289-2290 | |
(documentation element EnglishLanguage "(element ?ENTITY ?SET) is true just in case ?ENTITY is contained in the Set ?SET. An Entity can be an element of another Entity only if the latter is a Set.") | Merge.kif 5418-5420 | |
(documentation element JapaneseLanguage "(element ?ENTITY ?SET) は、?ENTITY が Set ?SETに 含まれている場合に当てはまる。Entity は、後者が Set の場合にのみ、別の Entity の element にすることができる。") | japanese_format.kif 957-959 | |
(domain element 1 Entity) | Merge.kif 5415-5415 | Il numero 1 argomenti di element è un istanza di Entit� |
(domain element 2 Set) | Merge.kif 5416-5416 | Il numero 2 argomenti di element è un istanza di Insieme |
(instance element AsymmetricRelation) | Merge.kif 5413-5413 | element è un' istanza di RelazioneAsimmetrica |
(instance element BinaryPredicate) | Merge.kif 5412-5412 | element è un' istanza di PredicatoBinario |
(subrelation element instance) | Merge.kif 5414-5414 | element è una sottorelazione di instance |
appearance as argument number 2 |
(format ChineseLanguage element "%1 %n 是 %2 的 element") | chinese_format.kif 488-488 | |
(format EnglishLanguage element "%1 is %n an element of %2") | english_format.kif 493-493 | |
(format FrenchLanguage element "%1 est %n un �lement de %2") | french_format.kif 285-285 | |
(format ItalianLanguage element "%è %n un elemento di %2") | relations-it.txt 90-90 | |
(format JapaneseLanguage element "%1 は %2 の element %n") | japanese_format.kif 2066-2066 | |
(format PortugueseLanguage element "%1 e' %n um elemento de %2") | portuguese_format.kif 237-237 | |
(format cz element "%1 %p{je} %n{nen�} an element of %2") | relations-cz.txt 291-291 | |
(format de element "%1 ist ein element von %2 %n{nicht}") | relations-de.txt 633-633 | |
(format hi element "%1 %2 kaa ghaTaka %n hai") | relations-hindi.txt 130-130 | |
(format ro element "%1 %n{nu} este un element%t{element} al lui %2") | relations-ro.kif 306-306 | |
(format sv element "%1 är %n{inte} ett element av %2") | relations-sv.txt 312-312 | |
(format tg element "%1 %n ay ang elemento sa %2") | relations-tg.txt 195-195 | |
(relatedInternalConcept member element) | Merge.kif 1282-1282 | member è interamente correlato a element |
(termFormat ChineseLanguage element "元件") | domainEnglishFormat.kif 21792-21792 | |
(termFormat ChineseLanguage element "元素") | chinese_format.kif 489-489 | |
(termFormat ChineseTraditionalLanguage element "元件") | domainEnglishFormat.kif 21791-21791 | |
(termFormat EnglishLanguage element "element") | domainEnglishFormat.kif 21790-21790 | |
(termFormat tg element "elemento") | relations-tg.txt 196-196 |
antecedent |
consequent |