| 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 679-681 | |
| (domain successorAttribute 1 Attribute) | Merge.kif 676-676 | |
| (domain successorAttribute 2 Attribute) | Merge.kif 677-677 | |
| (instance successorAttribute AsymmetricRelation) | Merge.kif 675-675 | |
| (instance successorAttribute BinaryPredicate) | Merge.kif 674-674 |
| appearance as argument number 2 |
|
|
| (disjointRelation subAttribute successorAttribute) | Merge.kif 656-656 | |
| (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 331-331 | |
| (relatedInternalConcept successorAttributeClosure successorAttribute) | Merge.kif 698-698 | |
| (relatedInternalConcept successorClass successorAttribute) | Merge.kif 8616-8616 | |
| (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 |
|
|
| (=> (and (successorAttribute ?ATTR1 ?ATTR2) (holdsDuring ?TIME1 (property ?ENTITY ?ATTR2))) (exists (?TIME2) (and (temporalPart ?TIME2 (PastFn ?TIME1)) (holdsDuring ?TIME2 (property ?ENTITY ?ATTR1))))) |
Merge.kif 683-690 | |
| (=> (successorAttribute ?ATTR1 ?ATTR2) (successorAttributeClosure ?ATTR1 ?ATTR2)) |
Merge.kif 705-707 |
| 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