TreeView Knowledge Base Browser - 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 8480-8480	successorClass is internally related to successor attribute
(termFormat ChineseLanguage successorAttribute "后续属性")	chinese_format.kif 324-324
(termFormat ChineseLanguage successorAttribute "继承属性")	domainEnglishFormat.kif 55809-55809
(termFormat ChineseTraditionalLanguage successorAttribute "繼承屬性")	domainEnglishFormat.kif 55808-55808
(termFormat EnglishLanguage successorAttribute "successor attribute")	domainEnglishFormat.kif 55807-55807

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	If an attribute is an immediate successor attribute of another attribute and an entity the attribute the other attribute holds during a time position, then there exists another time position such that the other time position is a part of before the time position and the entity the attribute the attribute holds during the other time position
(=> (successorAttribute ?ATTR1 ?ATTR2) (successorAttributeClosure ?ATTR1 ?ATTR2))	Merge.kif 705-707	If an attribute is an immediate successor attribute of another attribute, then the attribute is a successor attribute of the other attribute

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 23671-23671	Cold is an immediate successor attribute of cool
(successorAttribute CoolTemperature WarmTemperature)	Mid-level-ontology.kif 23677-23677	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 16872-16872	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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: