TreeView Knowledge Base Browser - successorAttribute

appearance as argument number 1

(documentation successorAttribute ChineseLanguage "(successorAttribute ?ATTR1 ?ATTR2) 的意思是在它们共同有的尺度上 Attribute ?ATTR2 是紧接着 ?ATTR1。")	chinese_format.kif 1536-1537
(documentation successorAttribute EnglishLanguage "(successorAttribute ?ATTR1 ?ATTR2) means that ?ATTR2 is the Attribute that comes immediately after ?ATTR1 on the scale that they share.")	Merge.kif 707-709
(documentation successorAttribute JapaneseLanguage "(successorAttribute ?ATTR1 ?ATTR2) とは、それらが共有する規模で?ATTR2は、?ATTR1の直後にあるAttribute、という意味である。")	japanese_format.kif 102-103
(documentation successorAttribute SpanishLanguage "(successorAttribute ?ATTR1 ?ATTR2) significa que ?ATTR2 es el Attribute que sigue inmediatamente después de ?ATTR1 en la escala que comparten.")	spanish_format.kif 119-121
(domain successorAttribute 1 Attribute)	Merge.kif 704-704	后续属性的 1 数量是属性的 instance
(domain successorAttribute 2 Attribute)	Merge.kif 705-705	后续属性的 2 数量是属性的 instance
(instance successorAttribute AsymmetricRelation)	Merge.kif 703-703	后续属性是非对称关系的 instance
(instance successorAttribute BinaryPredicate)	Merge.kif 702-702	后续属性是二元谓语的 instance

appearance as argument number 2

(disjointRelation subAttribute successorAttribute)	Merge.kif 684-684	子属性和后续属性是 disjoint 关系
(format ChineseLanguage successorAttribute "%1 %n 是 %2 的直接后续属性")	chinese_format.kif 323-323
(format EnglishLanguage successorAttribute "%1 is %n an immediate successor attribute of %2")	english_format.kif 328-328
(format FrenchLanguage successorAttribute "%1 est %n un attribut successeur imm�diat de %2")	french_format.kif 184-184
(format ItalianLanguage successorAttribute "%1 è %n un immediato attributo successore di %2")	relations-it.txt 286-286
(format JapaneseLanguage successorAttribute "%1 は %2 の immediate successor attribute では %n")	japanese_format.kif 2004-2004
(format PortugueseLanguage successorAttribute "%1 e' %n um atributo sucessor immediato de %2")	portuguese_format.kif 136-136
(format cz successorAttribute "%1 %p{je} %n{nen�} an immediate successor attribute of %2")	relations-cz.txt 195-195
(format de successorAttribute "%1 ist ein direkter nachfolgerattribut von %2")	relations-de.txt 425-425
(format hi successorAttribute "%1 %2 kaa eka nikaTastha parivartii visheshhataa %n hai")	relations-hindi.txt 323-323
(format ro successorAttribute "%1 %n{nu} este un attribute%t{atribut} imediat %successor%t{succesor} al lui %2")	relations-ro.kif 204-204
(format sv successorAttribute "%1 är %n{inte} ett direkt efterföljande attribut till %2")	relations-sv.txt 194-194
(format tg successorAttribute "%1 %n ay ang pagsunod ng pinakamlapit ng %2")	relations-tg.txt 478-478
(relatedInternalConcept successorAttributeClosure successorAttribute)	Merge.kif 732-732	后续属性闭包和后续属性是内部相关
(relatedInternalConcept successorClass successorAttribute)	Merge.kif 9058-9058	successorClass 和后续属性是内部相关
(termFormat ChineseLanguage successorAttribute "后续属性")	chinese_format.kif 324-324
(termFormat ChineseLanguage successorAttribute "继承属性")	domainEnglishFormat.kif 55887-55887
(termFormat ChineseTraditionalLanguage successorAttribute "繼承屬性")	domainEnglishFormat.kif 55886-55886
(termFormat EnglishLanguage successorAttribute "successor attribute")	domainEnglishFormat.kif 55885-55885

antecedent

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

Merge.kif 739-741

如果属性是另一个属性的直接后续属性，
然后那个属性是那个另外属性的后续属性

appearance as argument number 0

(successorAttribute BeaufortNumber0 BeaufortNumber1)	Weather.kif 361-361	浦氏0风级是浦氏1风级的直接后续属性
(successorAttribute BeaufortNumber1 BeaufortNumber2)	Weather.kif 370-370	浦氏1风级是浦氏2风级的直接后续属性
(successorAttribute BeaufortNumber10 BeaufortNumber11)	Weather.kif 452-452	浦氏10风级是浦氏11风级的直接后续属性
(successorAttribute BeaufortNumber11 BeaufortNumber12)	Weather.kif 461-461	浦氏11风级是浦氏12风级的直接后续属性
(successorAttribute BeaufortNumber2 BeaufortNumber3)	Weather.kif 379-379	浦氏2风级是浦氏3风级的直接后续属性
(successorAttribute BeaufortNumber3 BeaufortNumber4)	Weather.kif 389-389	浦氏3风级是浦氏4风级的直接后续属性
(successorAttribute BeaufortNumber4 BeaufortNumber5)	Weather.kif 398-398	浦氏4风级是浦氏5风级的直接后续属性
(successorAttribute BeaufortNumber5 BeaufortNumber6)	Weather.kif 407-407	浦氏5风级是浦氏6风级的直接后续属性
(successorAttribute BeaufortNumber6 BeaufortNumber7)	Weather.kif 416-416	浦氏6风级是浦氏7风级的直接后续属性
(successorAttribute BeaufortNumber7 BeaufortNumber8)	Weather.kif 425-425	浦氏7风级是浦氏8风级的直接后续属性
(successorAttribute BeaufortNumber8 BeaufortNumber9)	Weather.kif 434-434	浦氏8风级是浦氏9风级的直接后续属性
(successorAttribute BeaufortNumber9 BeaufortNumber10)	Weather.kif 443-443	浦氏9风级是浦氏10风级的直接后续属性
(successorAttribute ColdTemperature CoolTemperature)	Mid-level-ontology.kif 25741-25741	ColdTemperature 是 CoolTemperature 的直接后续属性
(successorAttribute CoolTemperature WarmTemperature)	Mid-level-ontology.kif 25747-25747	CoolTemperature 是 WarmTemperature 的直接后续属性
(successorAttribute CountryInTransition AdvancedEconomy)	Economy.kif 517-517	转型国家是发达经济的直接后续属性
(successorAttribute DeluxeRoom Suite)	Hotel.kif 1001-1001	DeluxeRoom 是 Suite 的直接后续属性
(successorAttribute DevelopingCountry CountryInTransition)	Economy.kif 516-516	发展中国家是转型国家的直接后续属性
(successorAttribute EF0 EF1)	Weather.kif 2133-2133	改良藤田0 是改良藤田1 的直接后续属性
(successorAttribute EF1 EF2)	Weather.kif 2141-2141	改良藤田1 是改良藤田2 的直接后续属性
(successorAttribute EF2 EF3)	Weather.kif 2149-2149	改良藤田2 是改良藤田3 的直接后续属性
(successorAttribute EF3 EF4)	Weather.kif 2157-2157	改良藤田3 是改良藤田4 的直接后续属性
(successorAttribute EF4 EF5)	Weather.kif 2165-2165	改良藤田4 是改良藤田5 的直接后续属性
(successorAttribute FormerSovietOrEasternEuropeanCountry DevelopedCountry)	Economy.kif 187-187	前苏联或东欧国家是发达国家的直接后续属性
(successorAttribute LessDevelopedCountry FormerSovietOrEasternEuropeanCountry)	Economy.kif 209-209	较未发达国家是前苏联或东欧国家的直接后续属性
(successorAttribute LowIncomeCountry LowerMiddleIncomeCountry)	Economy.kif 426-426	低收入国家是中低收入国家的直接后续属性

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: