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 successorAttribute の数値 1 引数は 属性instance では %n
(domain successorAttribute 2 Attribute) Merge.kif 705-705 successorAttribute の数値 2 引数は 属性instance では %n
(instance successorAttribute AsymmetricRelation) Merge.kif 703-703 successorAttribute非対称関係instance では %n
(instance successorAttribute BinaryPredicate) Merge.kif 702-702 successorAttribute2進述語instance では %n

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


(disjointRelation subAttribute successorAttribute) Merge.kif 684-684 subAttributesuccessorAttributedisjoint では %n
(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 successorAttributeClosuresuccessorAttributeinternally 関連して %n
(relatedInternalConcept successorClass successorAttribute) Merge.kif 9022-9022 successorClasssuccessorAttributeinternally 関連して %n
(termFormat ChineseLanguage successorAttribute "后续属性") chinese_format.kif 324-324
(termFormat ChineseLanguage successorAttribute "继承属性") domainEnglishFormat.kif 55885-55885
(termFormat ChineseTraditionalLanguage successorAttribute "繼承屬性") domainEnglishFormat.kif 55884-55884
(termFormat EnglishLanguage successorAttribute "successor attribute") domainEnglishFormat.kif 55883-55883

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


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

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


(successorAttribute BeaufortNumber0 BeaufortNumber1) Weather.kif 373-373 BeaufortNumber0BeaufortNumber1 の immediate successor attribute では %n
(successorAttribute BeaufortNumber1 BeaufortNumber2) Weather.kif 382-382 BeaufortNumber1BeaufortNumber2 の immediate successor attribute では %n
(successorAttribute BeaufortNumber10 BeaufortNumber11) Weather.kif 464-464 BeaufortNumber10BeaufortNumber11 の immediate successor attribute では %n
(successorAttribute BeaufortNumber11 BeaufortNumber12) Weather.kif 473-473 BeaufortNumber11BeaufortNumber12 の immediate successor attribute では %n
(successorAttribute BeaufortNumber2 BeaufortNumber3) Weather.kif 391-391 BeaufortNumber2BeaufortNumber3 の immediate successor attribute では %n
(successorAttribute BeaufortNumber3 BeaufortNumber4) Weather.kif 401-401 BeaufortNumber3BeaufortNumber4 の immediate successor attribute では %n
(successorAttribute BeaufortNumber4 BeaufortNumber5) Weather.kif 410-410 BeaufortNumber4BeaufortNumber5 の immediate successor attribute では %n
(successorAttribute BeaufortNumber5 BeaufortNumber6) Weather.kif 419-419 BeaufortNumber5BeaufortNumber6 の immediate successor attribute では %n
(successorAttribute BeaufortNumber6 BeaufortNumber7) Weather.kif 428-428 BeaufortNumber6BeaufortNumber7 の immediate successor attribute では %n
(successorAttribute BeaufortNumber7 BeaufortNumber8) Weather.kif 437-437 BeaufortNumber7BeaufortNumber8 の immediate successor attribute では %n
(successorAttribute BeaufortNumber8 BeaufortNumber9) Weather.kif 446-446 BeaufortNumber8BeaufortNumber9 の immediate successor attribute では %n
(successorAttribute BeaufortNumber9 BeaufortNumber10) Weather.kif 455-455 BeaufortNumber9BeaufortNumber10 の immediate successor attribute では %n
(successorAttribute ColdTemperature CoolTemperature) Mid-level-ontology.kif 25708-25708 ColdTemperatureCoolTemperature の immediate successor attribute では %n
(successorAttribute CoolTemperature WarmTemperature) Mid-level-ontology.kif 25714-25714 CoolTemperatureWarmTemperature の immediate successor attribute では %n
(successorAttribute CountryInTransition AdvancedEconomy) Economy.kif 517-517 CountryInTransitionAdvancedEconomy の immediate successor attribute では %n
(successorAttribute DeluxeRoom Suite) Hotel.kif 1001-1001 DeluxeRoomSuite の immediate successor attribute では %n
(successorAttribute DevelopingCountry CountryInTransition) Economy.kif 516-516 DevelopingCountryCountryInTransition の immediate successor attribute では %n
(successorAttribute EF0 EF1) Weather.kif 2150-2150 EF0EF1 の immediate successor attribute では %n
(successorAttribute EF1 EF2) Weather.kif 2158-2158 EF1EF2 の immediate successor attribute では %n
(successorAttribute EF2 EF3) Weather.kif 2166-2166 EF2EF3 の immediate successor attribute では %n
(successorAttribute EF3 EF4) Weather.kif 2174-2174 EF3EF4 の immediate successor attribute では %n
(successorAttribute EF4 EF5) Weather.kif 2182-2182 EF4EF5 の immediate successor attribute では %n
(successorAttribute FormerSovietOrEasternEuropeanCountry DevelopedCountry) Economy.kif 187-187 FormerSovietOrEasternEuropeanCountryDevelopedCountry の immediate successor attribute では %n
(successorAttribute LessDevelopedCountry FormerSovietOrEasternEuropeanCountry) Economy.kif 209-209 LessDevelopedCountryFormerSovietOrEasternEuropeanCountry の immediate successor attribute では %n
(successorAttribute LowIncomeCountry LowerMiddleIncomeCountry) Economy.kif 426-426 LowIncomeCountryLowerMiddleIncomeCountry の immediate successor attribute では %n

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