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 5317-5319 | |
(domain element 1 Entity) | Merge.kif 5314-5314 | The number 1 argument of element is an instance of entity |
(domain element 2 Set) | Merge.kif 5315-5315 | The number 2 argument of element is an instance of set |
(instance element AsymmetricRelation) | Merge.kif 5312-5312 | element is an instance of asymmetric relation |
(instance element BinaryPredicate) | Merge.kif 5311-5311 | element is an instance of binary predicate |
(subrelation element instance) | Merge.kif 5313-5313 | element is a subrelation of 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 | |
(relatedInternalConcept member element) | Merge.kif 1234-1234 | member is internally related to element |
(termFormat ChineseLanguage element "元件") | domainEnglishFormat.kif 21789-21789 | |
(termFormat ChineseLanguage element "元素") | chinese_format.kif 489-489 | |
(termFormat ChineseTraditionalLanguage element "元件") | domainEnglishFormat.kif 21788-21788 | |
(termFormat EnglishLanguage element "element") | domainEnglishFormat.kif 21787-21787 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |