| 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 | 后续属性 的 1 数量 是 属性 的 instance |
| (domain successorAttribute 2 Attribute) | Merge.kif 705-705 | 后续属性 的 2 数量 是 属性 的 instance |
| (instance successorAttribute AsymmetricRelation) | Merge.kif 703-703 | 后续属性 是 非对称关系 的 instance |
| (instance successorAttribute BinaryPredicate) | Merge.kif 702-702 | 后续属性 是 二元谓语 的 instance |
| appearance as argument number 2 |
|
|
| (disjointRelation subAttribute successorAttribute) | Merge.kif 684-684 | 子属性 和 后续属性 是 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 | 后续属性闭包 和 后续属性 是 内部相关 |
| (relatedInternalConcept successorClass successorAttribute) | Merge.kif 9022-9022 | successorClass 和 后续属性 是 内部相关 |
| (termFormat ChineseLanguage successorAttribute "后续属性") | chinese_format.kif 324-324 | |
| (termFormat ChineseLanguage successorAttribute "继承属性") | domainEnglishFormat.kif 55885-55885 | |
| (termFormat ChineseTraditionalLanguage successorAttribute "繼承屬性") | domainEnglishFormat.kif 55884-55884 | |
| (termFormat EnglishLanguage successorAttribute "successor attribute") | domainEnglishFormat.kif 55883-55883 |
| antecedent |
|
|
| (=> (successorAttribute ?ATTR1 ?ATTR2) (successorAttributeClosure ?ATTR1 ?ATTR2)) |
Merge.kif 739-741 |
| appearance as argument number 0 |
|
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners