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
-------------------------


s__documentation(s__successorAttribute__m,s__ChineseLanguage,'"(successorAttribute ?ATTR1 ?ATTR2) 的意思是在它们共同有的尺度上 Attribute ?ATTR2 是紧接着 ?ATTR1。"')

chinese_format.kif 1536-1537
s__documentation(s__successorAttribute__m,s__EnglishLanguage,'"(successorAttribute ?ATTR1 ?ATTR2) means that ?ATTR2 is the Attribute that comes immediately after ?ATTR1 on the scale that they share."')

Merge.kif 679-681
s__domain(s__successorAttribute__m,n__1,s__Attribute)

Merge.kif 676-676 The number 1 argument of successor attribute is an instance of attribute
s__domain(s__successorAttribute__m,n__2,s__Attribute)

Merge.kif 677-677 The number 2 argument of successor attribute is an instance of attribute
s__instance(s__successorAttribute__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 675-675 successor attribute is an instance of asymmetric relation
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__successorAttribute__m,s__BinaryPredicate)

Merge.kif 674-674 successor attribute is an instance of binary predicate

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


s__disjointRelation(s__subAttribute__m,s__successorAttribute__m)

Merge.kif 656-656 sub attribute and successor attribute are disjoint
s__format(s__ChineseLanguage,s__successorAttribute__m,'"%1 %n 是 %2 的直接后续属性"')

chinese_format.kif 323-323
s__format(s__EnglishLanguage,s__successorAttribute__m,'"%1 is %n an immediate successor attribute of %2"')

english_format.kif 331-331
s__relatedInternalConcept(s__successorAttributeClosure__m,s__successorAttribute__m)

Merge.kif 698-698 successor attribute closure is internally related to successor attribute
s__relatedInternalConcept(s__successorClass__m,s__successorAttribute__m)

Merge.kif 8616-8616 successorClass is internally related to successor attribute
s__termFormat(s__ChineseLanguage,s__successorAttribute__m,'"后续属性"')

chinese_format.kif 324-324
s__termFormat(s__ChineseLanguage,s__successorAttribute__m,'"继承属性"')

domainEnglishFormat.kif 55863-55863
s__termFormat(s__ChineseTraditionalLanguage,s__successorAttribute__m,'"繼承屬性"')

domainEnglishFormat.kif 55862-55862
s__termFormat(s__EnglishLanguage,s__successorAttribute__m,'"successor attribute"')

domainEnglishFormat.kif 55861-55861

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 683-690
( ! [V__ATTR1,V__ATTR2] :
   (((s__instance(V__ATTR1,s__Attribute) &
         s__instance(V__ATTR2,s__Attribute))
       =>
       ((s__successorAttribute(V__ATTR1,V__ATTR2)
         =>
         (s__successorAttributeClosure(V__ATTR1,V__ATTR2)))))
)
)

Merge.kif 705-707

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


s__successorAttribute(s__BeaufortNumber0,s__BeaufortNumber1)

Weather.kif 373-373 Beaufort number 0 is an immediate successor attribute of Beaufort number 1
s__successorAttribute(s__BeaufortNumber1,s__BeaufortNumber2)

Weather.kif 382-382 Beaufort number 1 is an immediate successor attribute of Beaufort number 2
s__successorAttribute(s__BeaufortNumber10,s__BeaufortNumber11)

Weather.kif 464-464 Beaufort number 10 is an immediate successor attribute of Beaufort number 11
s__successorAttribute(s__BeaufortNumber11,s__BeaufortNumber12)

Weather.kif 473-473 Beaufort number 11 is an immediate successor attribute of Beaufort number 12
s__successorAttribute(s__BeaufortNumber2,s__BeaufortNumber3)

Weather.kif 391-391 Beaufort number 2 is an immediate successor attribute of Beaufort number 3
s__successorAttribute(s__BeaufortNumber3,s__BeaufortNumber4)

Weather.kif 401-401 Beaufort number 3 is an immediate successor attribute of Beaufort number 4
s__successorAttribute(s__BeaufortNumber4,s__BeaufortNumber5)

Weather.kif 410-410 Beaufort number 4 is an immediate successor attribute of Beaufort number 5
s__successorAttribute(s__BeaufortNumber5,s__BeaufortNumber6)

Weather.kif 419-419 Beaufort number 5 is an immediate successor attribute of Beaufort number 6
s__successorAttribute(s__BeaufortNumber6,s__BeaufortNumber7)

Weather.kif 428-428 Beaufort number 6 is an immediate successor attribute of Beaufort number 7
s__successorAttribute(s__BeaufortNumber7,s__BeaufortNumber8)

Weather.kif 437-437 Beaufort number 7 is an immediate successor attribute of Beaufort number 8
s__successorAttribute(s__BeaufortNumber8,s__BeaufortNumber9)

Weather.kif 446-446 Beaufort number 8 is an immediate successor attribute of Beaufort number 9
s__successorAttribute(s__BeaufortNumber9,s__BeaufortNumber10)

Weather.kif 455-455 Beaufort number 9 is an immediate successor attribute of Beaufort number 10
s__successorAttribute(s__ColdTemperature,s__CoolTemperature)

Mid-level-ontology.kif 23838-23838 Cold is an immediate successor attribute of cool
s__successorAttribute(s__CoolTemperature,s__WarmTemperature)

Mid-level-ontology.kif 23844-23844 Cool is an immediate successor attribute of warm
s__successorAttribute(s__CountryInTransition,s__AdvancedEconomy)

Economy.kif 512-512 Country in transition is an immediate successor attribute of advanced economy
s__successorAttribute(s__DeluxeRoom,s__Suite)

Hotel.kif 979-979 Deluxe room is an immediate successor attribute of suite
s__successorAttribute(s__DevelopingCountry,s__CountryInTransition)

Economy.kif 511-511 Developing country is an immediate successor attribute of country in transition
s__successorAttribute(s__EF0,s__EF1)

Weather.kif 2143-2143 EF0 is an immediate successor attribute of EF1
s__successorAttribute(s__EF1,s__EF2)

Weather.kif 2151-2151 EF1 is an immediate successor attribute of EF2
s__successorAttribute(s__EF2,s__EF3)

Weather.kif 2159-2159 EF2 is an immediate successor attribute of EF3
s__successorAttribute(s__EF3,s__EF4)

Weather.kif 2167-2167 EF3 is an immediate successor attribute of EF4
s__successorAttribute(s__EF4,s__EF5)

Weather.kif 2175-2175 EF4 is an immediate successor attribute of EF5
s__successorAttribute(s__FormerSovietOrEasternEuropeanCountry,s__DevelopedCountry)

Economy.kif 187-187 Former soviet or eastern european country is an immediate successor attribute of developed country
s__successorAttribute(s__LessDevelopedCountry,s__FormerSovietOrEasternEuropeanCountry)

Economy.kif 209-209 Less developed country is an immediate successor attribute of former soviet or eastern european country
s__successorAttribute(s__LowIncomeCountry,s__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