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


KB Term:  Term intersection
English Word: 

  successorAttribute

 Sigma KEE - successorAttribute
successorAttribute

appearance as argument number 1
-------------------------


(instance successorAttribute BinaryPredicate) Merge.kif 694-694 successor attribute is an instance of binary predicate
(instance successorAttribute AsymmetricRelation) Merge.kif 695-695 successor attribute is an instance of asymmetric relation
(domain successorAttribute 1 Attribute) Merge.kif 696-696 The number 1 argument of successor attribute is an instance of attribute
(domain successorAttribute 2 Attribute) Merge.kif 697-697 The number 2 argument of successor attribute is an instance of attribute
(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 699-701 The number 2 argument of successor attribute is an instance of attribute

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


(disjointRelation subAttribute successorAttribute) Merge.kif 676-676 sub attribute and successor attribute are disjoint
(relatedInternalConcept successorAttributeClosure successorAttribute) Merge.kif 724-724 successor attribute closure is internally related to successor attribute
(relatedInternalConcept successorClass successorAttribute) Merge.kif 9224-9224 successor class is internally related to successor attribute
(termFormat EnglishLanguage successorAttribute "successor attribute") domainEnglishFormat.kif 55880-55880 successor class is internally related to successor attribute
(termFormat ChineseTraditionalLanguage successorAttribute "繼承屬性") domainEnglishFormat.kif 55881-55881 successor class is internally related to successor attribute
(termFormat ChineseLanguage successorAttribute "继承属性") domainEnglishFormat.kif 55882-55882 successor class is internally related to successor attribute
(format EnglishLanguage successorAttribute "%1 is %n an immediate successor attribute of %2") english_format.kif 328-328 successor class is internally related to successor attribute

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


(=>
    (successorAttribute ?ATTR1 ?ATTR2)
    (successorAttributeClosure ?ATTR1 ?ATTR2))		 Merge.kif 731-733 If X is an immediate successor attribute of Y, then X is a successor attribute of Y

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


(successorAttribute NonFullyFormed FullyFormed) Merge.kif 18495-18495 Non fully formed is an immediate successor attribute of fully formed
(successorAttribute ColdTemperature CoolTemperature) Mid-level-ontology.kif 28276-28276 Cold is an immediate successor attribute of cool
(successorAttribute CoolTemperature WarmTemperature) Mid-level-ontology.kif 28282-28282 Cool is an immediate successor attribute of warm
(successorAttribute WarmTemperature HotTemperature) Mid-level-ontology.kif 28288-28288 Warm is an immediate successor attribute of hot
(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
(successorAttribute LowerMiddleIncomeCountry UpperMiddleIncomeCountry) Economy.kif 427-427 Lower middle income country is an immediate successor attribute of upper middle income country
(successorAttribute UpperMiddleIncomeCountry HighIncomeCountry) Economy.kif 428-428 Upper middle income country is an immediate successor attribute of high income country
(successorAttribute DevelopingCountry CountryInTransition) Economy.kif 516-516 Developing country is an immediate successor attribute of country in transition
(successorAttribute CountryInTransition AdvancedEconomy) Economy.kif 517-517 Country in transition is an immediate successor attribute of advanced economy
(successorAttribute StandardRoom DeluxeRoom) Hotel.kif 1003-1003 Standard room is an immediate successor attribute of deluxe room
(successorAttribute DeluxeRoom Suite) Hotel.kif 1009-1009 Deluxe room is an immediate successor attribute of suite
(successorAttribute USMilitaryRankE1 USMilitaryRankE2) Military.kif 633-633 Airman is an immediate successor attribute of airman
(successorAttribute USMilitaryRankE2 USMilitaryRankE3) Military.kif 646-646 Airman is an immediate successor attribute of airman
(successorAttribute USMilitaryRankE3 USMilitaryRankE4) Military.kif 659-659 Airman is an immediate successor attribute of petty officer
(successorAttribute USMilitaryRankE4 USMilitaryRankE5) Military.kif 672-672 Petty officer is an immediate successor attribute of petty officer
(successorAttribute USMilitaryRankE5 USMilitaryRankE6) Military.kif 685-685 Petty officer is an immediate successor attribute of petty officer
(successorAttribute USMilitaryRankE6 USMilitaryRankE7) Military.kif 698-698 Petty officer is an immediate successor attribute of chief petty officer
(successorAttribute USMilitaryRankE7 USMilitaryRankE8) Military.kif 711-711 Chief petty officer is an immediate successor attribute of senior chief petty officer
(successorAttribute USMilitaryRankE8 USMilitaryRankE9) Military.kif 724-724 Senior chief petty officer is an immediate successor attribute of US military rank e9
(successorAttribute USMilitaryRankE9 USMilitaryRankE9special) Military.kif 744-744 US military rank e9 is an immediate successor attribute of US military rank e9special
(successorAttribute USMilitaryRankE9 USMilitaryRankO1) Military.kif 757-757 US military rank e9 is an immediate successor attribute of US military rank o1
(successorAttribute USMilitaryRankO1 USMilitaryRankO2) Military.kif 767-767 US military rank o1 is an immediate successor attribute of US military rank o2
(successorAttribute USMilitaryRankO2 USMilitaryRankO3) Military.kif 777-777 US military rank o2 is an immediate successor attribute of US military rank o3

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners