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 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 Le nombre 1 argument de successorAttributeClosure est une instance de attribut
(domain successorAttributeClosure 2 Attribute) Merge.kif 731-731 Le nombre 2 argument de successorAttributeClosure est une instance de attribut
(instance successorAttributeClosure BinaryPredicate) Merge.kif 726-726 successorAttributeClosure est une instance de pr�dicat binaire
(instance successorAttributeClosure IrreflexiveRelation) Merge.kif 728-728 successorAttributeClosure est une instance de relation irr�flexive
(instance successorAttributeClosure PartialValuedRelation) Merge.kif 729-729 successorAttributeClosure est une instance de relation partielle
(instance successorAttributeClosure TransitiveRelation) Merge.kif 727-727 successorAttributeClosure est une instance de relation transitive
(relatedInternalConcept successorAttributeClosure successorAttribute) Merge.kif 732-732 successorAttributeClosure est reli� � l'int�rieur de SUMO � 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 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 55891-55891
(termFormat ChineseLanguage successorAttributeClosure "后续属性闭包") chinese_format.kif 326-326
(termFormat ChineseTraditionalLanguage successorAttributeClosure "後繼屬性關閉") domainEnglishFormat.kif 55890-55890
(termFormat EnglishLanguage successorAttributeClosure "successor attribute closure") domainEnglishFormat.kif 55889-55889

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


(=>
    (and
        (holdsDuring ?TIME1
            (developmentalForm ?OBJ ?ATTR1))
        (successorAttributeClosure ?ATTR2 ?ATTR1))
    (exists (?TIME2)
        (and
            (earlier ?TIME2 ?TIME1)
            (holdsDuring ?TIME2
                (developmentalForm ?OBJ ?ATTR2)))))
Merge.kif 14337-14344

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


(=>
    (successorAttribute ?ATTR1 ?ATTR2)
    (successorAttributeClosure ?ATTR1 ?ATTR2))
Merge.kif 739-741