successorAttribute |
appearance as argument number 1 |
![]() |
(documentation successorAttribute ChineseLanguage "(successorAttribute ?ATTR1 ?ATTR2) 的意思是在它们共同有的尺度上 Attribute ?ATTR2 是紧接着 ?ATTR1。") | chinese_format.kif 1536-1537 | |
(documentation successorAttribute EnglishLanguage "(successorAttribute ?ATTR1 ?ATTR2) means that ?ATTR2 is the Attribute that comes immediately after ?ATTR1 on the scale that they share.") | Merge.kif 696-698 | |
(domain successorAttribute 1 Attribute) | Merge.kif 693-693 | |
(domain successorAttribute 2 Attribute) | Merge.kif 694-694 | |
(instance successorAttribute AsymmetricRelation) | Merge.kif 692-692 | |
(instance successorAttribute BinaryPredicate) | Merge.kif 691-691 |
appearance as argument number 2 |
![]() |
(disjointRelation subAttribute successorAttribute) | Merge.kif 673-673 | |
(format ChineseLanguage successorAttribute "%1 %n 是 %2 的直接后续属性") | chinese_format.kif 323-323 | |
(format EnglishLanguage successorAttribute "%1 is %n an immediate successor attribute of %2") | english_format.kif 328-328 | |
(relatedInternalConcept successorAttributeClosure successorAttribute) | Merge.kif 721-721 | |
(relatedInternalConcept successorClass successorAttribute) | Merge.kif 8987-8987 | |
(termFormat ChineseLanguage successorAttribute "后续属性") | chinese_format.kif 324-324 | |
(termFormat ChineseLanguage successorAttribute "继承属性") | domainEnglishFormat.kif 55867-55867 | |
(termFormat ChineseTraditionalLanguage successorAttribute "繼承屬性") | domainEnglishFormat.kif 55866-55866 | |
(termFormat EnglishLanguage successorAttribute "successor attribute") | domainEnglishFormat.kif 55865-55865 |
antecedent |
![]() |
(=> (successorAttribute ?ATTR1 ?ATTR2) (successorAttributeClosure ?ATTR1 ?ATTR2)) |
Merge.kif 728-730 |
appearance as argument number 0 |
![]() |
![]() |
![]() |