Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - successorAttributeClosure
successorAttributeClosure

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


(instance successorAttributeClosure BinaryPredicate) Merge.kif 718-718 successor attribute closure is an instance of binary predicate
(instance successorAttributeClosure TransitiveRelation) Merge.kif 719-719 successor attribute closure is an instance of transitive relation
(instance successorAttributeClosure IrreflexiveRelation) Merge.kif 720-720 successor attribute closure is an instance of irreflexive relation
(instance successorAttributeClosure PartialValuedRelation) Merge.kif 721-721 successor attribute closure is an instance of partial valued relation
(domain successorAttributeClosure 1 Attribute) Merge.kif 722-722 The number 1 argument of successor attribute closure is an instance of attribute
(domain successorAttributeClosure 2 Attribute) Merge.kif 723-723 The number 2 argument of successor attribute closure is an instance of attribute
(relatedInternalConcept successorAttributeClosure successorAttribute) Merge.kif 724-724 successor attribute closure is internally related to successor attribute
(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 726-729 successor attribute closure is internally related to successor attribute

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


(termFormat EnglishLanguage successorAttributeClosure "successor attribute closure") domainEnglishFormat.kif 55886-55886
(termFormat ChineseTraditionalLanguage successorAttributeClosure "後繼屬性關閉") domainEnglishFormat.kif 55887-55887
(termFormat ChineseLanguage successorAttributeClosure "后继属性关闭") domainEnglishFormat.kif 55888-55888
(format EnglishLanguage successorAttributeClosure "%1 is %n a successor attribute of %2") english_format.kif 330-330

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


(=>
    (and
        (holdsDuring ?TIME1
            (developmentalForm ?OBJ ?ATTR1))
        (successorAttributeClosure ?ATTR2 ?ATTR1))
    (exists (?TIME2)
        (and
            (earlier ?TIME2 ?TIME1)
            (holdsDuring ?TIME2
                (developmentalForm ?OBJ ?ATTR2)))))		 Merge.kif 14650-14657 If the developmental form of X is Y holds during Z and W is a successor attribute of Y, then there exists V such that V happens earlier than Z and the developmental form of X is W holds during V

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


(=>
    (successorAttribute ?ATTR1 ?ATTR2)
    (successorAttributeClosure ?ATTR1 ?ATTR2))		 Merge.kif 731-733 If X is an immediate successor attribute of Y, then X is a successor attribute of Y