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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 The number 1 argument of successor attribute is an instance of attribute
(domain successorAttribute 2 Attribute) Merge.kif 705-705 The number 2 argument of successor attribute is an instance of attribute
(instance successorAttribute AsymmetricRelation) Merge.kif 703-703 successor attribute is an instance of asymmetric relation
(instance successorAttribute BinaryPredicate) Merge.kif 702-702 successor attribute is an instance of binary predicate

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


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

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


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

appearance as argument number 0
-------------------------


(successorAttribute BeaufortNumber0 BeaufortNumber1) Weather.kif 361-361 Beaufort number 0 is an immediate successor attribute of Beaufort number 1
(successorAttribute BeaufortNumber1 BeaufortNumber2) Weather.kif 370-370 Beaufort number 1 is an immediate successor attribute of Beaufort number 2
(successorAttribute BeaufortNumber10 BeaufortNumber11) Weather.kif 452-452 Beaufort number 10 is an immediate successor attribute of Beaufort number 11
(successorAttribute BeaufortNumber11 BeaufortNumber12) Weather.kif 461-461 Beaufort number 11 is an immediate successor attribute of Beaufort number 12
(successorAttribute BeaufortNumber2 BeaufortNumber3) Weather.kif 379-379 Beaufort number 2 is an immediate successor attribute of Beaufort number 3
(successorAttribute BeaufortNumber3 BeaufortNumber4) Weather.kif 389-389 Beaufort number 3 is an immediate successor attribute of Beaufort number 4
(successorAttribute BeaufortNumber4 BeaufortNumber5) Weather.kif 398-398 Beaufort number 4 is an immediate successor attribute of Beaufort number 5
(successorAttribute BeaufortNumber5 BeaufortNumber6) Weather.kif 407-407 Beaufort number 5 is an immediate successor attribute of Beaufort number 6
(successorAttribute BeaufortNumber6 BeaufortNumber7) Weather.kif 416-416 Beaufort number 6 is an immediate successor attribute of Beaufort number 7
(successorAttribute BeaufortNumber7 BeaufortNumber8) Weather.kif 425-425 Beaufort number 7 is an immediate successor attribute of Beaufort number 8
(successorAttribute BeaufortNumber8 BeaufortNumber9) Weather.kif 434-434 Beaufort number 8 is an immediate successor attribute of Beaufort number 9
(successorAttribute BeaufortNumber9 BeaufortNumber10) Weather.kif 443-443 Beaufort number 9 is an immediate successor attribute of Beaufort number 10
(successorAttribute ColdTemperature CoolTemperature) Mid-level-ontology.kif 25972-25972 Cold is an immediate successor attribute of cool
(successorAttribute CoolTemperature WarmTemperature) Mid-level-ontology.kif 25978-25978 Cool is an immediate successor attribute of warm
(successorAttribute CountryInTransition AdvancedEconomy) Economy.kif 517-517 Country in transition is an immediate successor attribute of advanced economy
(successorAttribute DeluxeRoom Suite) Hotel.kif 1001-1001 Deluxe room is an immediate successor attribute of suite
(successorAttribute DevelopingCountry CountryInTransition) Economy.kif 516-516 Developing country is an immediate successor attribute of country in transition
(successorAttribute EF0 EF1) Weather.kif 2133-2133 EF0 is an immediate successor attribute of EF1
(successorAttribute EF1 EF2) Weather.kif 2141-2141 EF1 is an immediate successor attribute of EF2
(successorAttribute EF2 EF3) Weather.kif 2149-2149 EF2 is an immediate successor attribute of EF3
(successorAttribute EF3 EF4) Weather.kif 2157-2157 EF3 is an immediate successor attribute of EF4
(successorAttribute EF4 EF5) Weather.kif 2165-2165 EF4 is an immediate successor attribute of EF5
(successorAttribute FormerSovietOrEasternEuropeanCountry DevelopedCountry) Economy.kif 187-187 Former soviet or eastern european country is an immediate successor attribute of developed country
(successorAttribute LessDevelopedCountry FormerSovietOrEasternEuropeanCountry) Economy.kif 209-209 Less developed country is an immediate successor attribute of former soviet or eastern european country
(successorAttribute LowIncomeCountry LowerMiddleIncomeCountry) Economy.kif 426-426 Low income country is an immediate successor attribute of lower middle income country

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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