successorAttribute - Sigma Knowledge base Browser

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	successorAttribute は 2進述語の instance では %n

appearance as argument number 2

(disjointRelation subAttribute successorAttribute)	Merge.kif 998-998	subAttribute と successorAttribute は disjoint では %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	successorAttributeClosure は successorAttribute に internally 関連して %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	属性は属性の immediate successor attribute では %n エンティティーには attribute 属性 %n{ない} は時間位置の during holds %n{ない} 時間位置時間位置は時間位置の before の part では %n エンティティーには attribute 属性 %n{ない} は時間位置の during holds %n{ない}
(=> (successorAttribute ?ATTR1 ?ATTR2) (successorAttributeClosure ?ATTR1 ?ATTR2))	Merge.kif 1079-1081	属性は属性の immediate successor attribute では %n 属性は属性の successor attribute では %n

appearance as argument number 0

(successorAttribute BeaufortNumberEight BeaufortNumberNine)	Weather.kif 337-337	BeaufortNumberEight は BeaufortNumberNine の immediate successor attribute では %n
(successorAttribute BeaufortNumberEleven BeaufortNumberTwelve)	Weather.kif 343-343	BeaufortNumberEleven は BeaufortNumberTwelve の immediate successor attribute では %n
(successorAttribute BeaufortNumberFive BeaufortNumberSix)	Weather.kif 331-331	BeaufortNumberFive は BeaufortNumberSix の immediate successor attribute では %n
(successorAttribute BeaufortNumberFour BeaufortNumberFive)	Weather.kif 329-329	BeaufortNumberFour は BeaufortNumberFive の immediate successor attribute では %n
(successorAttribute BeaufortNumberNine BeaufortNumberTen)	Weather.kif 339-339	BeaufortNumberNine は BeaufortNumberTen の immediate successor attribute では %n
(successorAttribute BeaufortNumberOne BeaufortNumberTwo)	Weather.kif 323-323	BeaufortNumberOne は BeaufortNumberTwo の immediate successor attribute では %n
(successorAttribute BeaufortNumberSeven BeaufortNumberEight)	Weather.kif 335-335	BeaufortNumberSeven は BeaufortNumberEight の immediate successor attribute では %n
(successorAttribute BeaufortNumberSix BeaufortNumberSeven)	Weather.kif 333-333	BeaufortNumberSix は BeaufortNumberSeven の immediate successor attribute では %n
(successorAttribute BeaufortNumberTen BeaufortNumberEleven)	Weather.kif 341-341	BeaufortNumberTen は BeaufortNumberEleven の immediate successor attribute では %n
(successorAttribute BeaufortNumberThree BeaufortNumberFour)	Weather.kif 327-327	BeaufortNumberThree は BeaufortNumberFour の immediate successor attribute では %n
(successorAttribute BeaufortNumberTwo BeaufortNumberThree)	Weather.kif 325-325	BeaufortNumberTwo は BeaufortNumberThree の immediate successor attribute では %n
(successorAttribute BeaufortNumberZero BeaufortNumberOne)	Weather.kif 321-321	BeaufortNumberZero は BeaufortNumberOne の immediate successor attribute では %n
(successorAttribute ColdTemperature CoolTemperature)	Mid-level-ontology.kif 23628-23628	ColdTemperature は CoolTemperature の immediate successor attribute では %n
(successorAttribute CoolTemperature WarmTemperature)	Mid-level-ontology.kif 23634-23634	CoolTemperature は WarmTemperature の immediate successor attribute では %n
(successorAttribute CountryInTransition AdvancedEconomy)	Economy.kif 512-512	CountryInTransition は AdvancedEconomy の immediate successor attribute では %n
(successorAttribute DeluxeRoom Suite)	Hotel.kif 967-967	DeluxeRoom は Suite の immediate successor attribute では %n
(successorAttribute DevelopingCountry CountryInTransition)	Economy.kif 511-511	DevelopingCountry は CountryInTransition の immediate successor attribute では %n
(successorAttribute FormerSovietOrEasternEuropeanCountry DevelopedCountry)	Economy.kif 187-187	FormerSovietOrEasternEuropeanCountry は DevelopedCountry の immediate successor attribute では %n
(successorAttribute LessDevelopedCountry FormerSovietOrEasternEuropeanCountry)	Economy.kif 209-209	LessDevelopedCountry は FormerSovietOrEasternEuropeanCountry の immediate successor attribute では %n
(successorAttribute LowIncomeCountry LowerMiddleIncomeCountry)	Economy.kif 426-426	LowIncomeCountry は LowerMiddleIncomeCountry の immediate successor attribute では %n
(successorAttribute LowerMiddleIncomeCountry UpperMiddleIncomeCountry)	Economy.kif 427-427	LowerMiddleIncomeCountry は UpperMiddleIncomeCountry の immediate successor attribute では %n
(successorAttribute NonFullyFormed FullyFormed)	Merge.kif 22939-22939	NonFullyFormed は FullyFormed の immediate successor attribute では %n
(successorAttribute StandardRoom DeluxeRoom)	Hotel.kif 961-961	StandardRoom は DeluxeRoom の immediate successor attribute では %n
(successorAttribute USMilitaryRankE1 USMilitaryRankE2)	Military.kif 358-358	USMilitaryRankE1 は USMilitaryRankE2 の immediate successor attribute では %n
(successorAttribute USMilitaryRankE2 USMilitaryRankE3)	Military.kif 371-371	USMilitaryRankE2 は USMilitaryRankE3 の 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

KB Term:			Term intersection

English Word: