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 707-709 | |
(documentation successorAttribute JapaneseLanguage "(successorAttribute ?ATTR1 ?ATTR2) とは、 それらが共有する規模で?ATTR2は、?ATTR1の直後にあるAttribute、という意味である。") | japanese_format.kif 102-103 | |
(documentation successorAttribute SpanishLanguage "(successorAttribute ?ATTR1 ?ATTR2) significa que ?ATTR2 es el Attribute que sigue inmediatamente después de ?ATTR1 en la escala que comparten.") | spanish_format.kif 119-121 | |
(domain successorAttribute 1 Attribute) | Merge.kif 704-704 | The number 1 argument of successor attribute is an instance of attribute |
(domain successorAttribute 2 Attribute) | Merge.kif 705-705 | The number 2 argument of successor attribute is an instance of attribute |
(instance successorAttribute AsymmetricRelation) | Merge.kif 703-703 | successor attribute is an instance of asymmetric relation |
(instance successorAttribute BinaryPredicate) | Merge.kif 702-702 | successor attribute is an instance of binary predicate |
appearance as argument number 2 |
(disjointRelation subAttribute successorAttribute) | Merge.kif 684-684 | sub attribute and successor attribute are disjoint |
(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 | |
(format FrenchLanguage successorAttribute "%1 est %n un attribut successeur imm�diat de %2") | french_format.kif 184-184 | |
(format ItalianLanguage successorAttribute "%1 è %n un immediato attributo successore di %2") | relations-it.txt 286-286 | |
(format JapaneseLanguage successorAttribute "%1 は %2 の immediate successor attribute では %n") | japanese_format.kif 2004-2004 | |
(format PortugueseLanguage successorAttribute "%1 e' %n um atributo sucessor immediato de %2") | portuguese_format.kif 136-136 | |
(format cz successorAttribute "%1 %p{je} %n{nen�} an immediate successor attribute of %2") | relations-cz.txt 195-195 | |
(format de successorAttribute "%1 ist ein direkter nachfolgerattribut von %2") | relations-de.txt 425-425 | |
(format hi successorAttribute "%1 %2 kaa eka nikaTastha parivartii visheshhataa %n hai") | relations-hindi.txt 323-323 | |
(format ro successorAttribute "%1 %n{nu} este un attribute%t{atribut} imediat %successor%t{succesor} al lui %2") | relations-ro.kif 204-204 | |
(format sv successorAttribute "%1 är %n{inte} ett direkt efterföljande attribut till %2") | relations-sv.txt 194-194 | |
(format tg successorAttribute "%1 %n ay ang pagsunod ng pinakamlapit ng %2") | relations-tg.txt 478-478 | |
(relatedInternalConcept successorAttributeClosure successorAttribute) | Merge.kif 732-732 | successor attribute closure is internally related to successor attribute |
(relatedInternalConcept successorClass successorAttribute) | Merge.kif 9058-9058 | successor class is internally related to successor attribute |
(termFormat ChineseLanguage successorAttribute "后续属性") | chinese_format.kif 324-324 | |
(termFormat ChineseLanguage successorAttribute "继承属性") | domainEnglishFormat.kif 55887-55887 | |
(termFormat ChineseTraditionalLanguage successorAttribute "繼承屬性") | domainEnglishFormat.kif 55886-55886 | |
(termFormat EnglishLanguage successorAttribute "successor attribute") | domainEnglishFormat.kif 55885-55885 |
antecedent |
(=> (successorAttribute ?ATTR1 ?ATTR2) (successorAttributeClosure ?ATTR1 ?ATTR2)) |
Merge.kif 739-741 |
|
appearance as argument number 0 |