Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  successorAttribute

 Sigma KEE - successorAttribute
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 Le nombre 1 argument de successorAttribute est une instance de attribut
(domain successorAttribute 2 Attribute) Merge.kif 705-705 Le nombre 2 argument de successorAttribute est une instance de attribut
(instance successorAttribute AsymmetricRelation) Merge.kif 703-703 successorAttribute est une instance de relation asym�trique
(instance successorAttribute BinaryPredicate) Merge.kif 702-702 successorAttribute est une instance de pr�dicat binaire

appearance as argument number 2
-------------------------


(disjointRelation subAttribute successorAttribute) Merge.kif 684-684 subAttribute et successorAttribute sont 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 successorAttributeClosure est reli� � l'int�rieur de SUMO � successorAttribute
(relatedInternalConcept successorClass successorAttribute) Merge.kif 9058-9058 successorClass est reli� � l'int�rieur de SUMO � successorAttribute
(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 BeaufortNumber0 est un attribut successeur imm�diat de BeaufortNumber1
(successorAttribute BeaufortNumber1 BeaufortNumber2) Weather.kif 370-370 BeaufortNumber1 est un attribut successeur imm�diat de BeaufortNumber2
(successorAttribute BeaufortNumber10 BeaufortNumber11) Weather.kif 452-452 BeaufortNumber10 est un attribut successeur imm�diat de BeaufortNumber11
(successorAttribute BeaufortNumber11 BeaufortNumber12) Weather.kif 461-461 BeaufortNumber11 est un attribut successeur imm�diat de BeaufortNumber12
(successorAttribute BeaufortNumber2 BeaufortNumber3) Weather.kif 379-379 BeaufortNumber2 est un attribut successeur imm�diat de BeaufortNumber3
(successorAttribute BeaufortNumber3 BeaufortNumber4) Weather.kif 389-389 BeaufortNumber3 est un attribut successeur imm�diat de BeaufortNumber4
(successorAttribute BeaufortNumber4 BeaufortNumber5) Weather.kif 398-398 BeaufortNumber4 est un attribut successeur imm�diat de BeaufortNumber5
(successorAttribute BeaufortNumber5 BeaufortNumber6) Weather.kif 407-407 BeaufortNumber5 est un attribut successeur imm�diat de BeaufortNumber6
(successorAttribute BeaufortNumber6 BeaufortNumber7) Weather.kif 416-416 BeaufortNumber6 est un attribut successeur imm�diat de BeaufortNumber7
(successorAttribute BeaufortNumber7 BeaufortNumber8) Weather.kif 425-425 BeaufortNumber7 est un attribut successeur imm�diat de BeaufortNumber8
(successorAttribute BeaufortNumber8 BeaufortNumber9) Weather.kif 434-434 BeaufortNumber8 est un attribut successeur imm�diat de BeaufortNumber9
(successorAttribute BeaufortNumber9 BeaufortNumber10) Weather.kif 443-443 BeaufortNumber9 est un attribut successeur imm�diat de BeaufortNumber10
(successorAttribute ColdTemperature CoolTemperature) Mid-level-ontology.kif 25741-25741 ColdTemperature est un attribut successeur imm�diat de CoolTemperature
(successorAttribute CoolTemperature WarmTemperature) Mid-level-ontology.kif 25747-25747 CoolTemperature est un attribut successeur imm�diat de WarmTemperature
(successorAttribute CountryInTransition AdvancedEconomy) Economy.kif 517-517 CountryInTransition est un attribut successeur imm�diat de AdvancedEconomy
(successorAttribute DeluxeRoom Suite) Hotel.kif 1001-1001 DeluxeRoom est un attribut successeur imm�diat de Suite
(successorAttribute DevelopingCountry CountryInTransition) Economy.kif 516-516 DevelopingCountry est un attribut successeur imm�diat de CountryInTransition
(successorAttribute EF0 EF1) Weather.kif 2133-2133 EF0 est un attribut successeur imm�diat de EF1
(successorAttribute EF1 EF2) Weather.kif 2141-2141 EF1 est un attribut successeur imm�diat de EF2
(successorAttribute EF2 EF3) Weather.kif 2149-2149 EF2 est un attribut successeur imm�diat de EF3
(successorAttribute EF3 EF4) Weather.kif 2157-2157 EF3 est un attribut successeur imm�diat de EF4
(successorAttribute EF4 EF5) Weather.kif 2165-2165 EF4 est un attribut successeur imm�diat de EF5
(successorAttribute FormerSovietOrEasternEuropeanCountry DevelopedCountry) Economy.kif 187-187 FormerSovietOrEasternEuropeanCountry est un attribut successeur imm�diat de DevelopedCountry
(successorAttribute LessDevelopedCountry FormerSovietOrEasternEuropeanCountry) Economy.kif 209-209 LessDevelopedCountry est un attribut successeur imm�diat de FormerSovietOrEasternEuropeanCountry
(successorAttribute LowIncomeCountry LowerMiddleIncomeCountry) Economy.kif 426-426 LowIncomeCountry est un attribut successeur imm�diat de LowerMiddleIncomeCountry

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)

Show without tree


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