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 700-702
(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 697-697 successorAttribute の数値 1 引数は 属性 の instance では
(domain successorAttribute 2 Attribute) Merge.kif 698-698 successorAttribute の数値 2 引数は 属性 の instance では
(instance successorAttribute AsymmetricRelation) Merge.kif 696-696 successorAttribute は 非対称関係 の instance では
(instance successorAttribute BinaryPredicate) Merge.kif 695-695 successorAttribute は 2進述語 の instance では

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


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

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


(=>
    (successorAttribute ?ATTR1 ?ATTR2)
    (successorAttributeClosure ?ATTR1 ?ATTR2))		 Merge.kif 732-734

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


(successorAttribute BeaufortNumber0 BeaufortNumber1) Weather.kif 361-361 BeaufortNumber0 は BeaufortNumber1 の immediate successor attribute では
(successorAttribute BeaufortNumber1 BeaufortNumber2) Weather.kif 370-370 BeaufortNumber1 は BeaufortNumber2 の immediate successor attribute では
(successorAttribute BeaufortNumber10 BeaufortNumber11) Weather.kif 452-452 BeaufortNumber10 は BeaufortNumber11 の immediate successor attribute では
(successorAttribute BeaufortNumber11 BeaufortNumber12) Weather.kif 461-461 BeaufortNumber11 は BeaufortNumber12 の immediate successor attribute では
(successorAttribute BeaufortNumber2 BeaufortNumber3) Weather.kif 379-379 BeaufortNumber2 は BeaufortNumber3 の immediate successor attribute では
(successorAttribute BeaufortNumber3 BeaufortNumber4) Weather.kif 389-389 BeaufortNumber3 は BeaufortNumber4 の immediate successor attribute では
(successorAttribute BeaufortNumber4 BeaufortNumber5) Weather.kif 398-398 BeaufortNumber4 は BeaufortNumber5 の immediate successor attribute では
(successorAttribute BeaufortNumber5 BeaufortNumber6) Weather.kif 407-407 BeaufortNumber5 は BeaufortNumber6 の immediate successor attribute では
(successorAttribute BeaufortNumber6 BeaufortNumber7) Weather.kif 416-416 BeaufortNumber6 は BeaufortNumber7 の immediate successor attribute では
(successorAttribute BeaufortNumber7 BeaufortNumber8) Weather.kif 425-425 BeaufortNumber7 は BeaufortNumber8 の immediate successor attribute では
(successorAttribute BeaufortNumber8 BeaufortNumber9) Weather.kif 434-434 BeaufortNumber8 は BeaufortNumber9 の immediate successor attribute では
(successorAttribute BeaufortNumber9 BeaufortNumber10) Weather.kif 443-443 BeaufortNumber9 は BeaufortNumber10 の immediate successor attribute では
(successorAttribute ColdTemperature CoolTemperature) Mid-level-ontology.kif 27606-27606 ColdTemperature は CoolTemperature の immediate successor attribute では
(successorAttribute CoolTemperature WarmTemperature) Mid-level-ontology.kif 27612-27612 CoolTemperature は WarmTemperature の immediate successor attribute では
(successorAttribute CountryInTransition AdvancedEconomy) Economy.kif 517-517 CountryInTransition は AdvancedEconomy の immediate successor attribute では
(successorAttribute DeluxeRoom Suite) Hotel.kif 1009-1009 DeluxeRoom は Suite の immediate successor attribute では
(successorAttribute DevelopingCountry CountryInTransition) Economy.kif 516-516 DevelopingCountry は CountryInTransition の immediate successor attribute では
(successorAttribute EF0 EF1) Weather.kif 2979-2979 EF0 は EF1 の immediate successor attribute では
(successorAttribute EF1 EF2) Weather.kif 2987-2987 EF1 は EF2 の immediate successor attribute では
(successorAttribute EF2 EF3) Weather.kif 2995-2995 EF2 は EF3 の immediate successor attribute では
(successorAttribute EF3 EF4) Weather.kif 3003-3003 EF3 は EF4 の immediate successor attribute では
(successorAttribute EF4 EF5) Weather.kif 3011-3011 EF4 は EF5 の immediate successor attribute では
(successorAttribute FormerSovietOrEasternEuropeanCountry DevelopedCountry) Economy.kif 187-187 FormerSovietOrEasternEuropeanCountry は DevelopedCountry の immediate successor attribute では
(successorAttribute LessDevelopedCountry FormerSovietOrEasternEuropeanCountry) Economy.kif 209-209 LessDevelopedCountry は FormerSovietOrEasternEuropeanCountry の immediate successor attribute では
(successorAttribute LowIncomeCountry LowerMiddleIncomeCountry) Economy.kif 426-426 LowIncomeCountry は LowerMiddleIncomeCountry の immediate successor attribute では

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