Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - successorAttributeClosure
successorAttributeClosure

appearance as argument number 1
-------------------------


(documentation successorAttributeClosure ChineseLanguage "successorAttribute 的 传递闭包;(successorAttributeClosure ?ATTR1 ?ATTR2) 的意思是 successorAttribute 有一连串 联系着 ?ATTR1 和 ?ATTR2 的断言。 ") chinese_format.kif 1538-1540
(documentation successorAttributeClosure EnglishLanguage "The transitive closure of successorAttribute. (successorAttributeClosure ?ATTR1 ?ATTR2) means that there is a chain of successorAttribute assertions connecting ?ATTR1 and ?ATTR2.") Merge.kif 700-703
(domain successorAttributeClosure 1 Attribute) Merge.kif 696-696 domain successorAttributeClosure, 1 and Attribute
(domain successorAttributeClosure 2 Attribute) Merge.kif 697-697 domain successorAttributeClosure, 2 and Attribute
(instance successorAttributeClosure BinaryPredicate) Merge.kif 692-692 instance successorAttributeClosure and BinaryPredicate
(instance successorAttributeClosure IrreflexiveRelation) Merge.kif 694-694 instance successorAttributeClosure and IrreflexiveRelation
(instance successorAttributeClosure PartialValuedRelation) Merge.kif 695-695 instance successorAttributeClosure and PartialValuedRelation
(instance successorAttributeClosure TransitiveRelation) Merge.kif 693-693 instance successorAttributeClosure and TransitiveRelation
(relatedInternalConcept successorAttributeClosure successorAttribute) Merge.kif 698-698 relatedInternalConcept successorAttributeClosure and successorAttribute

appearance as argument number 2
-------------------------


(format ChineseLanguage successorAttributeClosure "%1 %n 是 %2 的后续属性") chinese_format.kif 325-325
(format EnglishLanguage successorAttributeClosure "%1 is %n a successor attribute of %2") english_format.kif 333-333
(termFormat ChineseLanguage successorAttributeClosure "后继属性关闭") domainEnglishFormat.kif 55837-55837 termFormat ChineseLanguage, successorAttributeClosure and "后继属性关闭"
(termFormat ChineseLanguage successorAttributeClosure "后续属性闭包") chinese_format.kif 326-326 termFormat ChineseLanguage, successorAttributeClosure and "后续属性闭包"
(termFormat ChineseTraditionalLanguage successorAttributeClosure "後繼屬性關閉") domainEnglishFormat.kif 55836-55836 termFormat ChineseTraditionalLanguage, successorAttributeClosure and "後繼屬性關閉"
(termFormat EnglishLanguage successorAttributeClosure "successor attribute closure") domainEnglishFormat.kif 55835-55835 termFormat EnglishLanguage, successorAttributeClosure and "successor attribute closure"

antecedent
-------------------------


(=>
    (and
        (holdsDuring ?TIME1
            (developmentalForm ?OBJ ?ATTR1))
        (successorAttributeClosure ?ATTR2 ?ATTR1))
    (exists (?TIME2)
        (and
            (earlier ?TIME2 ?TIME1)
            (holdsDuring ?TIME2
                (developmentalForm ?OBJ ?ATTR2)))))
Merge.kif 13184-13191
(=>
    (and
        (instance ?piedmont Piedmont)
        (attribute ?mountains MountainousTerrain)
        (orientation ?piedmont ?mountains Adjacent)
        (height ?piedmont ?height1)
        (height ?mountains ?height2)
        (successorAttributeClosure ?height1 ?height2))
    (greaterThan ?height2 ?height1))
Geography.kif 3993-4001

consequent
-------------------------


(=>
    (instance ?incline SlopedArea)
    (exists (?top ?bottom ?height1 ?height2)
        (and
            (top ?top ?incline)
            (bottom ?bottom ?incline)
            (earthAltitude ?top ?height1)
            (earthAltitude ?bottom ?height2)
            (successorAttributeClosure ?height2 ?height1)
            (greaterThan ?height1 ?height2))))
Geography.kif 3899-3908
(=>
    (successorAttribute ?ATTR1 ?ATTR2)
    (successorAttributeClosure ?ATTR1 ?ATTR2))
Merge.kif 705-707