successorAttributeClosure |
appearance as argument number 1 |
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 |
|
consequent |
(=> (successorAttribute ?ATTR1 ?ATTR2) (successorAttributeClosure ?ATTR1 ?ATTR2)) |
Merge.kif 739-741 |
|
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 |