subAttribute |
appearance as argument number 1 |
![]() |
(disjointRelation subAttribute successorAttribute) | Merge.kif 673-673 | sub attribute and successor attribute are disjoint |
(documentation subAttribute ChineseLanguage "这意思是第二个参数的属性可以归因于所有第一个参数 所归因的属性。") | chinese_format.kif 1534-1535 | |
(documentation subAttribute EnglishLanguage "Means that the second argument can be ascribed to everything which has the first argument ascribed to it.") | Merge.kif 675-676 | |
(domain subAttribute 1 Attribute) | Merge.kif 671-671 | The number 1 argument of sub attribute is an instance of attribute |
(domain subAttribute 2 Attribute) | Merge.kif 672-672 | The number 2 argument of sub attribute is an instance of attribute |
(instance subAttribute BinaryPredicate) | Merge.kif 669-669 | sub attribute is an instance of binary predicate |
(instance subAttribute PartialOrderingRelation) | Merge.kif 670-670 | sub attribute is an instance of partial ordering relation |
appearance as argument number 2 |
![]() |
(format ChineseLanguage subAttribute "%1 %n 是 %2 的 subAttribute") | chinese_format.kif 317-317 | |
(format EnglishLanguage subAttribute "%1 is %n a subattribute of %2") | english_format.kif 322-322 | |
(termFormat ChineseLanguage subAttribute "子属性") | chinese_format.kif 318-318 | |
(termFormat ChineseTraditionalLanguage subAttribute "子屬性") | domainEnglishFormat.kif 55670-55670 | |
(termFormat EnglishLanguage subAttribute "sub attribute") | domainEnglishFormat.kif 55669-55669 |
antecedent |
![]() |
consequent |
![]() |
appearance as argument number 0 |
![]() |
![]() |
![]() |