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 679-681
(domain successorAttribute 1 Attribute) Merge.kif 676-676 The number 1 argument of successor attribute is an instance of attribute
(domain successorAttribute 2 Attribute) Merge.kif 677-677 The number 2 argument of successor attribute is an instance of attribute
(instance successorAttribute AsymmetricRelation) Merge.kif 675-675 successor attribute is an instance of asymmetric relation
(instance successorAttribute BinaryPredicate) Merge.kif 674-674 successor attribute is an instance of binary predicate

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


(disjointRelation subAttribute successorAttribute) Merge.kif 656-656 sub attribute and successor attribute are disjoint
(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 331-331
(relatedInternalConcept successorAttributeClosure successorAttribute) Merge.kif 698-698 successor attribute closure is internally related to successor attribute
(relatedInternalConcept successorClass successorAttribute) Merge.kif 8340-8340 successorClass is internally related to successor attribute
(termFormat ChineseLanguage successorAttribute "后续属性") chinese_format.kif 324-324 "后续属性" is the printable form of successor attribute in ChineseLanguage
(termFormat ChineseLanguage successorAttribute "继承属性") domainEnglishFormat.kif 55831-55831 "继承属性" is the printable form of successor attribute in ChineseLanguage
(termFormat ChineseTraditionalLanguage successorAttribute "繼承屬性") domainEnglishFormat.kif 55830-55830 "繼承屬性" is the printable form of successor attribute in ChineseTraditionalLanguage
(termFormat EnglishLanguage successorAttribute "successor attribute") domainEnglishFormat.kif 55829-55829 "successor attribute" is the printable form of successor attribute in english language

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


(=>
    (and
        (successorAttribute ?ATTR1 ?ATTR2)
        (holdsDuring ?TIME1
            (property ?ENTITY ?ATTR2)))
    (exists (?TIME2)
        (and
            (temporalPart ?TIME2
                (PastFn ?TIME1))
            (holdsDuring ?TIME2
                (property ?ENTITY ?ATTR1)))))
Merge.kif 683-690
(=>
    (successorAttribute ?ATTR1 ?ATTR2)
    (successorAttributeClosure ?ATTR1 ?ATTR2))
Merge.kif 705-707

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


(successorAttribute BeaufortNumberEight BeaufortNumberNine) Weather.kif 336-336 Beaufort number eight is an immediate successor attribute of beaufort number nine
(successorAttribute BeaufortNumberEleven BeaufortNumberTwelve) Weather.kif 342-342 Beaufort number eleven is an immediate successor attribute of beaufort number twelve
(successorAttribute BeaufortNumberFive BeaufortNumberSix) Weather.kif 330-330 Beaufort number five is an immediate successor attribute of beaufort number six
(successorAttribute BeaufortNumberFour BeaufortNumberFive) Weather.kif 328-328 Beaufort number four is an immediate successor attribute of beaufort number five
(successorAttribute BeaufortNumberNine BeaufortNumberTen) Weather.kif 338-338 Beaufort number nine is an immediate successor attribute of beaufort number ten
(successorAttribute BeaufortNumberOne BeaufortNumberTwo) Weather.kif 322-322 Beaufort number one is an immediate successor attribute of beaufort number two
(successorAttribute BeaufortNumberSeven BeaufortNumberEight) Weather.kif 334-334 Beaufort number seven is an immediate successor attribute of beaufort number eight
(successorAttribute BeaufortNumberSix BeaufortNumberSeven) Weather.kif 332-332 Beaufort number six is an immediate successor attribute of beaufort number seven
(successorAttribute BeaufortNumberTen BeaufortNumberEleven) Weather.kif 340-340 Beaufort number ten is an immediate successor attribute of beaufort number eleven
(successorAttribute BeaufortNumberThree BeaufortNumberFour) Weather.kif 326-326 Beaufort number three is an immediate successor attribute of beaufort number four
(successorAttribute BeaufortNumberTwo BeaufortNumberThree) Weather.kif 324-324 Beaufort number two is an immediate successor attribute of beaufort number three
(successorAttribute BeaufortNumberZero BeaufortNumberOne) Weather.kif 320-320 BeaufortNumberZero is an immediate successor attribute of beaufort number one
(successorAttribute ColdTemperature CoolTemperature) Mid-level-ontology.kif 23628-23628 Cold is an immediate successor attribute of cool
(successorAttribute CoolTemperature WarmTemperature) Mid-level-ontology.kif 23634-23634 Cool is an immediate successor attribute of warm
(successorAttribute CountryInTransition AdvancedEconomy) Economy.kif 512-512 Country in transition is an immediate successor attribute of advanced economy
(successorAttribute DeluxeRoom Suite) Hotel.kif 971-971 Deluxe room is an immediate successor attribute of suite
(successorAttribute DevelopingCountry CountryInTransition) Economy.kif 511-511 Developing country is an immediate successor attribute of country in transition
(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 NonFullyFormed FullyFormed) Merge.kif 16715-16715 Non fully formed is an immediate successor attribute of fully formed
(successorAttribute StandardRoom DeluxeRoom) Hotel.kif 965-965 Standard room is an immediate successor attribute of deluxe room
(successorAttribute USMilitaryRankE1 USMilitaryRankE2) Military.kif 358-358 US military rank e1 is an immediate successor attribute of US military rank e2
(successorAttribute USMilitaryRankE2 USMilitaryRankE3) Military.kif 371-371 US military rank e2 is an immediate successor attribute of US military rank e3

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners