TreeView Knowledge Base Browser - 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)))))

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))

If X is an immediate successor attribute of Y, then X is a successor attribute of Y

appearance as argument number 0

(successorAttributeClosure ColdTemperature HotTemperature)	Mid-level-ontology.kif 28270-28270	Cold is a successor attribute of hot
(successorAttributeClosure ConventionalAttribute UnconventionalAttribute)	Dining.kif 1094-1094	Conventional is a successor attribute of unconventional
(successorAttributeClosure StandardRoom Suite)	Hotel.kif 997-997	Standard room is a successor attribute of suite