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 5412-5414 | |
(documentation element JapaneseLanguage "(element ?ENTITY ?SET) は、?ENTITY が Set ?SETに 含まれている場合に当てはまる。Entity は、後者が Set の場合にのみ、別の Entity の element にすることができる。") | japanese_format.kif 957-959 | |
(domain element 1 Entity) | Merge.kif 5409-5409 | element の数値 1 引数は エンティティー の instance では %n |
(domain element 2 Set) | Merge.kif 5410-5410 | element の数値 2 引数は セット の instance では %n |
(instance element BinaryPredicate) | Merge.kif 5408-5408 | element は 2進述語 の instance では %n |
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 1281-1281 | member は element に internally 関連して %n |
(termFormat ChineseLanguage element "元件") | domainEnglishFormat.kif 21803-21803 | member は element に internally 関連して %n |
(termFormat ChineseLanguage element "元素") | chinese_format.kif 489-489 | member は element に internally 関連して %n |
(termFormat ChineseTraditionalLanguage element "元件") | domainEnglishFormat.kif 21802-21802 | member は element に internally 関連して %n |
(termFormat EnglishLanguage element "element") | domainEnglishFormat.kif 21801-21801 | member は element に internally 関連して %n |
(termFormat tg element "elemento") | relations-tg.txt 196-196 | member は element に internally 関連して %n |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |