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
(domain successorAttribute 2 Attribute) Merge.kif 677-677
(instance successorAttribute AsymmetricRelation) Merge.kif 675-675
(instance successorAttribute BinaryPredicate) Merge.kif 674-674

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


(disjointRelation subAttribute successorAttribute) Merge.kif 656-656
(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
(relatedInternalConcept successorClass successorAttribute) Merge.kif 8649-8649
(termFormat ChineseLanguage successorAttribute "后续属性") chinese_format.kif 324-324
(termFormat ChineseLanguage successorAttribute "继承属性") domainEnglishFormat.kif 55864-55864
(termFormat ChineseTraditionalLanguage successorAttribute "繼承屬性") domainEnglishFormat.kif 55863-55863
(termFormat EnglishLanguage successorAttribute "successor attribute") domainEnglishFormat.kif 55862-55862

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 BeaufortNumber0 BeaufortNumber1) Weather.kif 373-373
(successorAttribute BeaufortNumber1 BeaufortNumber2) Weather.kif 382-382
(successorAttribute BeaufortNumber10 BeaufortNumber11) Weather.kif 464-464
(successorAttribute BeaufortNumber11 BeaufortNumber12) Weather.kif 473-473
(successorAttribute BeaufortNumber2 BeaufortNumber3) Weather.kif 391-391
(successorAttribute BeaufortNumber3 BeaufortNumber4) Weather.kif 401-401
(successorAttribute BeaufortNumber4 BeaufortNumber5) Weather.kif 410-410
(successorAttribute BeaufortNumber5 BeaufortNumber6) Weather.kif 419-419
(successorAttribute BeaufortNumber6 BeaufortNumber7) Weather.kif 428-428
(successorAttribute BeaufortNumber7 BeaufortNumber8) Weather.kif 437-437
(successorAttribute BeaufortNumber8 BeaufortNumber9) Weather.kif 446-446
(successorAttribute BeaufortNumber9 BeaufortNumber10) Weather.kif 455-455
(successorAttribute ColdTemperature CoolTemperature) Mid-level-ontology.kif 24746-24746
(successorAttribute CoolTemperature WarmTemperature) Mid-level-ontology.kif 24752-24752
(successorAttribute CountryInTransition AdvancedEconomy) Economy.kif 512-512
(successorAttribute DeluxeRoom Suite) Hotel.kif 979-979
(successorAttribute DevelopingCountry CountryInTransition) Economy.kif 511-511
(successorAttribute EF0 EF1) Weather.kif 2143-2143
(successorAttribute EF1 EF2) Weather.kif 2151-2151
(successorAttribute EF2 EF3) Weather.kif 2159-2159
(successorAttribute EF3 EF4) Weather.kif 2167-2167
(successorAttribute EF4 EF5) Weather.kif 2175-2175
(successorAttribute FormerSovietOrEasternEuropeanCountry DevelopedCountry) Economy.kif 187-187
(successorAttribute LessDevelopedCountry FormerSovietOrEasternEuropeanCountry) Economy.kif 209-209
(successorAttribute LowIncomeCountry LowerMiddleIncomeCountry) Economy.kif 426-426

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