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 5417-5419 | |
(documentation element JapaneseLanguage "(element ?ENTITY ?SET) は、?ENTITY が Set ?SETに 含まれている場合に当てはまる。Entity は、後者が Set の場合にのみ、別の Entity の element にすることができる。") | japanese_format.kif 957-959 | |
(domain element 1 Entity) | Merge.kif 5414-5414 | 域 元件, 1 and Entity |
(domain element 2 Set) | Merge.kif 5415-5415 | 域 元件, 2 and Set |
(instance element AsymmetricRelation) | Merge.kif 5412-5412 | 例 元件 and AsymmetricRelation |
(instance element BinaryPredicate) | Merge.kif 5411-5411 | 例 元件 and BinaryPredicate |
(subrelation element instance) | Merge.kif 5413-5413 | 子關係 元件 and 例 |
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 | 相關的內部概念 會員 and 元件 |
(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 |