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 696-698
(domain successorAttribute 1 Attribute) Merge.kif 693-693 domain successorAttribute, 1 and Attribute
(domain successorAttribute 2 Attribute) Merge.kif 694-694 domain successorAttribute, 2 and Attribute
(instance successorAttribute AsymmetricRelation) Merge.kif 692-692 instance successorAttribute and AsymmetricRelation
(instance successorAttribute BinaryPredicate) Merge.kif 691-691 instance successorAttribute and BinaryPredicate

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


(disjointRelation subAttribute successorAttribute) Merge.kif 673-673 disjointRelation subAttribute and successorAttribute
(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
(relatedInternalConcept successorAttributeClosure successorAttribute) Merge.kif 721-721 relatedInternalConcept successorAttributeClosure and successorAttribute
(relatedInternalConcept successorClass successorAttribute) Merge.kif 8926-8926 relatedInternalConcept successorClass and successorAttribute
(termFormat ChineseLanguage successorAttribute "后续属性") chinese_format.kif 324-324
(termFormat ChineseLanguage successorAttribute "继承属性") domainEnglishFormat.kif 55864-55864
(termFormat ChineseTraditionalLanguage successorAttribute "繼承屬性") domainEnglishFormat.kif 55863-55863
(termFormat EnglishLanguage successorAttribute "successor attribute") domainEnglishFormat.kif 55862-55862

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


(=>
    (successorAttribute ?ATTR1 ?ATTR2)
    (successorAttributeClosure ?ATTR1 ?ATTR2))
Merge.kif 728-730

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


(successorAttribute BeaufortNumber0 BeaufortNumber1) Weather.kif 373-373 successorAttribute BeaufortNumber0 and BeaufortNumber1
(successorAttribute BeaufortNumber1 BeaufortNumber2) Weather.kif 382-382 successorAttribute BeaufortNumber1 and BeaufortNumber2
(successorAttribute BeaufortNumber10 BeaufortNumber11) Weather.kif 464-464 successorAttribute BeaufortNumber10 and BeaufortNumber11
(successorAttribute BeaufortNumber11 BeaufortNumber12) Weather.kif 473-473 successorAttribute BeaufortNumber11 and BeaufortNumber12
(successorAttribute BeaufortNumber2 BeaufortNumber3) Weather.kif 391-391 successorAttribute BeaufortNumber2 and BeaufortNumber3
(successorAttribute BeaufortNumber3 BeaufortNumber4) Weather.kif 401-401 successorAttribute BeaufortNumber3 and BeaufortNumber4
(successorAttribute BeaufortNumber4 BeaufortNumber5) Weather.kif 410-410 successorAttribute BeaufortNumber4 and BeaufortNumber5
(successorAttribute BeaufortNumber5 BeaufortNumber6) Weather.kif 419-419 successorAttribute BeaufortNumber5 and BeaufortNumber6
(successorAttribute BeaufortNumber6 BeaufortNumber7) Weather.kif 428-428 successorAttribute BeaufortNumber6 and BeaufortNumber7
(successorAttribute BeaufortNumber7 BeaufortNumber8) Weather.kif 437-437 successorAttribute BeaufortNumber7 and BeaufortNumber8
(successorAttribute BeaufortNumber8 BeaufortNumber9) Weather.kif 446-446 successorAttribute BeaufortNumber8 and BeaufortNumber9
(successorAttribute BeaufortNumber9 BeaufortNumber10) Weather.kif 455-455 successorAttribute BeaufortNumber9 and BeaufortNumber10
(successorAttribute ColdTemperature CoolTemperature) Mid-level-ontology.kif 25099-25099 successorAttribute ColdTemperature and CoolTemperature
(successorAttribute CoolTemperature WarmTemperature) Mid-level-ontology.kif 25105-25105 successorAttribute CoolTemperature and WarmTemperature
(successorAttribute CountryInTransition AdvancedEconomy) Economy.kif 512-512 successorAttribute CountryInTransition and AdvancedEconomy
(successorAttribute DeluxeRoom Suite) Hotel.kif 979-979 successorAttribute DeluxeRoom and Suite
(successorAttribute DevelopingCountry CountryInTransition) Economy.kif 511-511 successorAttribute DevelopingCountry and CountryInTransition
(successorAttribute EF0 EF1) Weather.kif 2149-2149 successorAttribute EF0 and EF1
(successorAttribute EF1 EF2) Weather.kif 2157-2157 successorAttribute EF1 and EF2
(successorAttribute EF2 EF3) Weather.kif 2165-2165 successorAttribute EF2 and EF3
(successorAttribute EF3 EF4) Weather.kif 2173-2173 successorAttribute EF3 and EF4
(successorAttribute EF4 EF5) Weather.kif 2181-2181 successorAttribute EF4 and EF5
(successorAttribute FormerSovietOrEasternEuropeanCountry DevelopedCountry) Economy.kif 187-187 successorAttribute FormerSovietOrEasternEuropeanCountry and DevelopedCountry
(successorAttribute LessDevelopedCountry FormerSovietOrEasternEuropeanCountry) Economy.kif 209-209 successorAttribute LessDevelopedCountry and FormerSovietOrEasternEuropeanCountry
(successorAttribute LowIncomeCountry LowerMiddleIncomeCountry) Economy.kif 426-426 successorAttribute LowIncomeCountry and 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