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

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


(disjointRelation subAttribute successorAttribute) Merge.kif 655-655 disjointRelation subAttribute and successorAttribute
(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 successorAttributeClosure and successorAttribute
(relatedInternalConcept successorClass successorAttribute) Merge.kif 8464-8464 relatedInternalConcept successorClass and successorAttribute
(termFormat ChineseLanguage successorAttribute "后续属性") chinese_format.kif 324-324
(termFormat ChineseLanguage successorAttribute "继承属性") domainEnglishFormat.kif 55799-55799
(termFormat ChineseTraditionalLanguage successorAttribute "繼承屬性") domainEnglishFormat.kif 55798-55798
(termFormat EnglishLanguage successorAttribute "successor attribute") domainEnglishFormat.kif 55797-55797

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

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