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。") Merge.kif 1035-1036
(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 1031-1033
(documentation successorAttribute JapaneseLanguage "(successorAttribute ?ATTR1 ?ATTR2) とは、 それらが共有する規模で?ATTR2は、?ATTR1の直後にあるAttribute、という意味である。") Merge.kif 1038-1039
(documentation successorAttribute SpanishLanguage "(successorAttribute ?ATTR1 ?ATTR2) significa que ?ATTR2 es el Attribute que sigue inmediatamente después de ?ATTR1 en la escala que comparten.") Merge.kif 1041-1043
(domain successorAttribute 1 Attribute) Merge.kif 1028-1028 successorAttribute の数値 1 引数は 属性instance では %n
(domain successorAttribute 2 Attribute) Merge.kif 1029-1029 successorAttribute の数値 2 引数は 属性instance では %n
(instance successorAttribute AsymmetricRelation) Merge.kif 1027-1027 successorAttribute非対称関係instance では %n
(instance successorAttribute BinaryPredicate) Merge.kif 1026-1026 successorAttribute2進述語instance では %n

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


(disjointRelation subAttribute successorAttribute) Merge.kif 998-998 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 460-460
(format JapaneseLanguage successorAttribute "%1 は %2 の immediate successor attribute では %n") english_format.kif 461-461
(relatedInternalConcept successorAttributeClosure successorAttribute) Merge.kif 1060-1060 successorAttributeClosuresuccessorAttributeinternally 関連して %n
(termFormat ChineseLanguage successorAttribute "后续属性") chinese_format.kif 324-324 termFormat ChineseLanguage, successorAttribute and "后续属性"
(termFormat ChineseLanguage successorAttribute "继承属性") domainEnglishFormat.kif 55831-55831 termFormat ChineseLanguage, successorAttribute and "继承属性"
(termFormat ChineseTraditionalLanguage successorAttribute "繼承屬性") domainEnglishFormat.kif 55830-55830 termFormat ChineseTraditionalLanguage, successorAttribute and "繼承屬性"
(termFormat EnglishLanguage successorAttribute "successor attribute") domainEnglishFormat.kif 55829-55829 termFormat EnglishLanguage, successorAttribute and "successor attribute"

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


(=>
    (and
        (successorAttribute ?ATTR1 ?ATTR2)
        (holdsDuring ?TIME1
            (property ?ENTITY ?ATTR2)))
    (exists (?TIME2)
        (and
            (temporalPart ?TIME2
                (PastFn ?TIME1))
            (holdsDuring ?TIME2
                (property ?ENTITY ?ATTR1)))))
Merge.kif 1045-1052
(=>
    (successorAttribute ?ATTR1 ?ATTR2)
    (successorAttributeClosure ?ATTR1 ?ATTR2))
Merge.kif 1079-1081

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


(successorAttribute BeaufortNumberEight BeaufortNumberNine) Weather.kif 337-337 BeaufortNumberEightBeaufortNumberNine の immediate successor attribute では %n
(successorAttribute BeaufortNumberEleven BeaufortNumberTwelve) Weather.kif 343-343 BeaufortNumberElevenBeaufortNumberTwelve の immediate successor attribute では %n
(successorAttribute BeaufortNumberFive BeaufortNumberSix) Weather.kif 331-331 BeaufortNumberFiveBeaufortNumberSix の immediate successor attribute では %n
(successorAttribute BeaufortNumberFour BeaufortNumberFive) Weather.kif 329-329 BeaufortNumberFourBeaufortNumberFive の immediate successor attribute では %n
(successorAttribute BeaufortNumberNine BeaufortNumberTen) Weather.kif 339-339 BeaufortNumberNineBeaufortNumberTen の immediate successor attribute では %n
(successorAttribute BeaufortNumberOne BeaufortNumberTwo) Weather.kif 323-323 BeaufortNumberOneBeaufortNumberTwo の immediate successor attribute では %n
(successorAttribute BeaufortNumberSeven BeaufortNumberEight) Weather.kif 335-335 BeaufortNumberSevenBeaufortNumberEight の immediate successor attribute では %n
(successorAttribute BeaufortNumberSix BeaufortNumberSeven) Weather.kif 333-333 BeaufortNumberSixBeaufortNumberSeven の immediate successor attribute では %n
(successorAttribute BeaufortNumberTen BeaufortNumberEleven) Weather.kif 341-341 BeaufortNumberTenBeaufortNumberEleven の immediate successor attribute では %n
(successorAttribute BeaufortNumberThree BeaufortNumberFour) Weather.kif 327-327 BeaufortNumberThreeBeaufortNumberFour の immediate successor attribute では %n
(successorAttribute BeaufortNumberTwo BeaufortNumberThree) Weather.kif 325-325 BeaufortNumberTwoBeaufortNumberThree の immediate successor attribute では %n
(successorAttribute BeaufortNumberZero BeaufortNumberOne) Weather.kif 321-321 BeaufortNumberZeroBeaufortNumberOne の immediate successor attribute では %n
(successorAttribute ColdTemperature CoolTemperature) Mid-level-ontology.kif 23628-23628 ColdTemperatureCoolTemperature の immediate successor attribute では %n
(successorAttribute CoolTemperature WarmTemperature) Mid-level-ontology.kif 23634-23634 CoolTemperatureWarmTemperature の immediate successor attribute では %n
(successorAttribute CountryInTransition AdvancedEconomy) Economy.kif 512-512 CountryInTransitionAdvancedEconomy の immediate successor attribute では %n
(successorAttribute DeluxeRoom Suite) Hotel.kif 967-967 DeluxeRoomSuite の immediate successor attribute では %n
(successorAttribute DevelopingCountry CountryInTransition) Economy.kif 511-511 DevelopingCountryCountryInTransition の 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
(successorAttribute LowerMiddleIncomeCountry UpperMiddleIncomeCountry) Economy.kif 427-427 LowerMiddleIncomeCountryUpperMiddleIncomeCountry の immediate successor attribute では %n
(successorAttribute NonFullyFormed FullyFormed) Merge.kif 22939-22939 NonFullyFormedFullyFormed の immediate successor attribute では %n
(successorAttribute StandardRoom DeluxeRoom) Hotel.kif 961-961 StandardRoomDeluxeRoom の immediate successor attribute では %n
(successorAttribute USMilitaryRankE1 USMilitaryRankE2) Military.kif 358-358 USMilitaryRankE1USMilitaryRankE2 の immediate successor attribute では %n
(successorAttribute USMilitaryRankE2 USMilitaryRankE3) Military.kif 371-371 USMilitaryRankE2USMilitaryRankE3 の immediate successor attribute では %n

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