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 678-680
(domain successorAttribute 1 Attribute) Merge.kif 675-675
(domain successorAttribute 2 Attribute) Merge.kif 676-676
(instance successorAttribute AsymmetricRelation) Merge.kif 674-674
(instance successorAttribute BinaryPredicate) Merge.kif 673-673

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


(disjointRelation subAttribute successorAttribute) Merge.kif 655-655
(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 697-697
(relatedInternalConcept successorClass successorAttribute) Merge.kif 8431-8431
(termFormat ChineseLanguage successorAttribute "后续属性") chinese_format.kif 324-324
(termFormat ChineseLanguage successorAttribute "继承属性") domainEnglishFormat.kif 55778-55778
(termFormat ChineseTraditionalLanguage successorAttribute "繼承屬性") domainEnglishFormat.kif 55777-55777
(termFormat EnglishLanguage successorAttribute "successor attribute") domainEnglishFormat.kif 55776-55776

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


(=>
    (and
        (successorAttribute ?ATTR1 ?ATTR2)
        (holdsDuring ?TIME1
            (property ?ENTITY ?ATTR2)))
    (exists (?TIME2)
        (and
            (temporalPart ?TIME2
                (PastFn ?TIME1))
            (holdsDuring ?TIME2
                (property ?ENTITY ?ATTR1)))))
Merge.kif 682-689
(=>
    (successorAttribute ?ATTR1 ?ATTR2)
    (successorAttributeClosure ?ATTR1 ?ATTR2))
Merge.kif 704-706

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


(successorAttribute BeaufortNumberEight BeaufortNumberNine) Weather.kif 336-336
(successorAttribute BeaufortNumberEleven BeaufortNumberTwelve) Weather.kif 342-342
(successorAttribute BeaufortNumberFive BeaufortNumberSix) Weather.kif 330-330
(successorAttribute BeaufortNumberFour BeaufortNumberFive) Weather.kif 328-328
(successorAttribute BeaufortNumberNine BeaufortNumberTen) Weather.kif 338-338
(successorAttribute BeaufortNumberOne BeaufortNumberTwo) Weather.kif 322-322
(successorAttribute BeaufortNumberSeven BeaufortNumberEight) Weather.kif 334-334
(successorAttribute BeaufortNumberSix BeaufortNumberSeven) Weather.kif 332-332
(successorAttribute BeaufortNumberTen BeaufortNumberEleven) Weather.kif 340-340
(successorAttribute BeaufortNumberThree BeaufortNumberFour) Weather.kif 326-326
(successorAttribute BeaufortNumberTwo BeaufortNumberThree) Weather.kif 324-324
(successorAttribute BeaufortNumberZero BeaufortNumberOne) Weather.kif 320-320
(successorAttribute ColdTemperature CoolTemperature) Mid-level-ontology.kif 23640-23640
(successorAttribute CoolTemperature WarmTemperature) Mid-level-ontology.kif 23646-23646
(successorAttribute CountryInTransition AdvancedEconomy) Economy.kif 512-512
(successorAttribute DeluxeRoom Suite) Hotel.kif 971-971
(successorAttribute DevelopingCountry CountryInTransition) Economy.kif 511-511
(successorAttribute FormerSovietOrEasternEuropeanCountry DevelopedCountry) Economy.kif 187-187
(successorAttribute LessDevelopedCountry FormerSovietOrEasternEuropeanCountry) Economy.kif 209-209
(successorAttribute LowIncomeCountry LowerMiddleIncomeCountry) Economy.kif 426-426
(successorAttribute LowerMiddleIncomeCountry UpperMiddleIncomeCountry) Economy.kif 427-427
(successorAttribute NonFullyFormed FullyFormed) Merge.kif 16808-16808
(successorAttribute StandardRoom DeluxeRoom) Hotel.kif 965-965
(successorAttribute USMilitaryRankE1 USMilitaryRankE2) Military.kif 358-358
(successorAttribute USMilitaryRankE2 USMilitaryRankE3) Military.kif 371-371

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