successorAttributeClosure - Sigma Knowledge base Browser

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 330-330
(format FrenchLanguage successorAttributeClosure "%1 est %n un attribut successeur de %2")	french_format.kif 185-185
(format ItalianLanguage successorAttributeClosure "%1 è %n un attributo successore di %2")	relations-it.txt 287-287
(format JapaneseLanguage successorAttributeClosure "%1 は %2 の successor attribute では %n")	japanese_format.kif 2005-2005
(format PortugueseLanguage successorAttributeClosure "%1 e' %n um atributo sucessor de %2")	portuguese_format.kif 137-137
(format cz successorAttributeClosure "%1 %p{je} %n{nen�} a successor attribute of %2")	relations-cz.txt 196-196
(format de successorAttributeClosure "%1 ist ein nachfolgerattribut von %2")	relations-de.txt 428-428
(format hi successorAttributeClosure "%1 %2 kii parivartii visheshhataa %n hai")	relations-hindi.txt 324-324
(format ro successorAttributeClosure "%1 %n{nu} este un attribute%t{atribut} successor%t{succesor} al lui %2")	relations-ro.kif 205-205
(format sv successorAttributeClosure "%1 är %n{inte} ett efterföljande attribut till %2")	relations-sv.txt 195-195
(format tg successorAttributeClosure "%1 %n ay ang pagsunod ng katnagian ng %2")	relations-tg.txt 479-479
(termFormat ChineseLanguage successorAttributeClosure "后继属性关闭")	domainEnglishFormat.kif 55893-55893
(termFormat ChineseLanguage successorAttributeClosure "后续属性闭包")	chinese_format.kif 326-326
(termFormat ChineseTraditionalLanguage successorAttributeClosure "後繼屬性關閉")	domainEnglishFormat.kif 55892-55892
(termFormat EnglishLanguage successorAttributeClosure "successor attribute closure")	domainEnglishFormat.kif 55891-55891

antecedent

(=>
    (and
        (holdsDuring ?TIME1
            (developmentalForm ?OBJ ?ATTR1))
        (successorAttributeClosure ?ATTR2 ?ATTR1))
    (exists (?TIME2)
        (and
            (earlier ?TIME2 ?TIME1)
            (holdsDuring ?TIME2
                (developmentalForm ?OBJ ?ATTR2)))))

Merge.kif 14383-14390

If the developmental form of an entity is an attribute holds during a time interval and another attribute is a successor attribute of the attribute,
then there exists another time interval such that the other time interval happens earlier than the time interval and the developmental form of the entity is the other attribute holds during the other time interval

consequent

(=>
(successorAttribute ?ATTR1 ?ATTR2)
(successorAttributeClosure ?ATTR1 ?ATTR2))

Merge.kif 739-741

If an attribute is an immediate successor attribute of another attribute,
then the attribute is a successor attribute of the other attribute

appearance as argument number 0

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

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

(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 734-737
(documentation successorAttributeClosure JapaneseLanguage "successorAttribute の推移的閉鎖。 (successorAttributeClosure ?ATTR1 ?ATTR2) とは、?ATTR1と?ATTR2を接続する　 successorAttribute アサーションのチェーンがる、という意味である。")	japanese_format.kif 104-106
(documentation successorAttributeClosure SpanishLanguage "La clausura transitiva de successorAttribute. (successorAttributeClosure ?ATTR1 ?ATTR2) quiere decir que hay cadena de afirmaciones desuccessorAttribute conectando ?ATTR1 y ?ATTR2.")	spanish_format.kif 122-124
(domain successorAttributeClosure 1 Attribute)	Merge.kif 730-730	The number 1 argument of successor attribute closure is an instance of attribute
(domain successorAttributeClosure 2 Attribute)	Merge.kif 731-731	The number 2 argument of successor attribute closure is an instance of attribute
(instance successorAttributeClosure BinaryPredicate)	Merge.kif 726-726	successor attribute closure is an instance of binary predicate
(instance successorAttributeClosure IrreflexiveRelation)	Merge.kif 728-728	successor attribute closure is an instance of irreflexive relation
(instance successorAttributeClosure PartialValuedRelation)	Merge.kif 729-729	successor attribute closure is an instance of partial valued relation
(instance successorAttributeClosure TransitiveRelation)	Merge.kif 727-727	successor attribute closure is an instance of transitive relation
(relatedInternalConcept successorAttributeClosure successorAttribute)	Merge.kif 732-732	successor attribute closure is internally related to successor attribute

KB Term:			Term intersection

English Word: