| 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 698-700 | |
| (domain successorAttribute 1 Attribute) | Merge.kif 695-695 | |
| (domain successorAttribute 2 Attribute) | Merge.kif 696-696 | |
| (instance successorAttribute AsymmetricRelation) | Merge.kif 694-694 | |
| (instance successorAttribute BinaryPredicate) | Merge.kif 693-693 |
| appearance as argument number 2 |
|
|
| (disjointRelation subAttribute successorAttribute) | Merge.kif 675-675 | |
| (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 723-723 | |
| (relatedInternalConcept successorClass successorAttribute) | Merge.kif 8931-8931 | |
| (termFormat ChineseLanguage successorAttribute "后续属性") | chinese_format.kif 324-324 | |
| (termFormat ChineseLanguage successorAttribute "继承属性") | domainEnglishFormat.kif 55864-55864 | |
| (termFormat ChineseTraditionalLanguage successorAttribute "繼承屬性") | domainEnglishFormat.kif 55863-55863 | |
| (termFormat EnglishLanguage successorAttribute "successor attribute") | domainEnglishFormat.kif 55862-55862 |
| antecedent |
|
|
| (=> (successorAttribute ?ATTR1 ?ATTR2) (successorAttributeClosure ?ATTR1 ?ATTR2)) |
Merge.kif 730-732 |
| 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