Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
successorAttribute
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 700-702
(
documentation
successorAttribute
JapaneseLanguage
"(
successorAttribute
?ATTR1 ?ATTR2) とは、 それらが共有する規模で?ATTR2は、?ATTR1の直後にある
Attribute
、という意味である。")
japanese_format.kif 102-103
(
documentation
successorAttribute
SpanishLanguage
"(
successorAttribute
?ATTR1 ?ATTR2) significa que ?ATTR2 es el
Attribute
que sigue inmediatamente después de ?ATTR1 en la escala que comparten.")
spanish_format.kif 119-121
(
domain
successorAttribute
1
Attribute
)
Merge.kif 697-697
The number 1 argument of
successor attribute
is an
instance
of
attribute
(
domain
successorAttribute
2
Attribute
)
Merge.kif 698-698
The number 2 argument of
successor attribute
is an
instance
of
attribute
(
instance
successorAttribute
AsymmetricRelation
)
Merge.kif 696-696
successor attribute
is an
instance
of
asymmetric relation
(
instance
successorAttribute
BinaryPredicate
)
Merge.kif 695-695
successor attribute
is an
instance
of
binary predicate
appearance as argument number 2
(
disjointRelation
subAttribute
successorAttribute
)
Merge.kif 677-677
sub attribute
and
successor attribute
are
disjoint
(
format
ChineseLanguage
successorAttribute
"%1 %n 是 %2 的直接后续属性")
chinese_format.kif 323-323
sub attribute
and
successor attribute
are
disjoint
(
format
EnglishLanguage
successorAttribute
"%1 is %n an immediate successor
attribute
of %2")
english_format.kif 328-328
sub attribute
and
successor attribute
are
disjoint
(
format
FrenchLanguage
successorAttribute
"%1 est %n un attribut successeur imm�diat de %2")
french_format.kif 184-184
sub attribute
and
successor attribute
are
disjoint
(
format
ItalianLanguage
successorAttribute
"%1 è %n un immediato attributo successore di %2")
relations-it.txt 286-286
sub attribute
and
successor attribute
are
disjoint
(
format
JapaneseLanguage
successorAttribute
"%1 は %2 の immediate successor
attribute
では %n")
japanese_format.kif 2004-2004
sub attribute
and
successor attribute
are
disjoint
(
format
PortugueseLanguage
successorAttribute
"%1 e' %n um atributo sucessor immediato de %2")
portuguese_format.kif 136-136
sub attribute
and
successor attribute
are
disjoint
(
format
cz
successorAttribute
"%1 %p{je} %n{nen�} an immediate successor attribute of %2")
relations-cz.txt 195-195
sub attribute
and
successor attribute
are
disjoint
(
format
de
successorAttribute
"%1 ist ein direkter nachfolgerattribut von %2")
relations-de.txt 425-425
sub attribute
and
successor attribute
are
disjoint
(
format
hi
successorAttribute
"%1 %2 kaa eka nikaTastha parivartii visheshhataa %n hai")
relations-hindi.txt 323-323
sub attribute
and
successor attribute
are
disjoint
(
format
ro
successorAttribute
"%1 %n{nu} este un
attribute
%t{atribut} imediat %successor%t{succesor} al lui %2")
relations-ro.kif 204-204
sub attribute
and
successor attribute
are
disjoint
(
format
sv
successorAttribute
"%1 är %n{inte} ett direkt efterföljande attribut till %2")
relations-sv.txt 194-194
sub attribute
and
successor attribute
are
disjoint
(
format
tg
successorAttribute
"%1 %n ay ang pagsunod ng pinakamlapit ng %2")
relations-tg.txt 478-478
sub attribute
and
successor attribute
are
disjoint
(
relatedInternalConcept
successorAttributeClosure
successorAttribute
)
Merge.kif 725-725
successor attribute closure
is
internally
related to
successor attribute
(
relatedInternalConcept
successorClass
successorAttribute
)
Merge.kif 9135-9135
successor class
is
internally
related to
successor attribute
(
termFormat
ChineseLanguage
successorAttribute
"后续属性")
chinese_format.kif 324-324
successor class
is
internally
related to
successor attribute
(
termFormat
ChineseLanguage
successorAttribute
"继承属性")
domainEnglishFormat.kif 55889-55889
successor class
is
internally
related to
successor attribute
(
termFormat
ChineseTraditionalLanguage
successorAttribute
"繼承屬性")
domainEnglishFormat.kif 55888-55888
successor class
is
internally
related to
successor attribute
(
termFormat
EnglishLanguage
successorAttribute
"successor attribute")
domainEnglishFormat.kif 55887-55887
successor class
is
internally
related to
successor attribute
(
termFormat
de
successorAttribute
"nachfolgerAttribut")
terms-de.txt 135-135
successor class
is
internally
related to
successor attribute
antecedent
(=>
(
successorAttribute
?ATTR1 ?ATTR2)
(
successorAttributeClosure
?ATTR1 ?ATTR2))
Merge.kif 732-734
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
BeaufortNumber0
BeaufortNumber1
)
Weather.kif 361-361
Beaufort number 0
is an immediate
successor
attribute
of
Beaufort number 1
(
successorAttribute
BeaufortNumber1
BeaufortNumber2
)
Weather.kif 370-370
Beaufort number 1
is an immediate
successor
attribute
of
Beaufort number 2
(
successorAttribute
BeaufortNumber10
BeaufortNumber11
)
Weather.kif 452-452
Beaufort number 10
is an immediate
successor
attribute
of
Beaufort number 11
(
successorAttribute
BeaufortNumber11
BeaufortNumber12
)
Weather.kif 461-461
Beaufort number 11
is an immediate
successor
attribute
of
Beaufort number 12
(
successorAttribute
BeaufortNumber2
BeaufortNumber3
)
Weather.kif 379-379
Beaufort number 2
is an immediate
successor
attribute
of
Beaufort number 3
(
successorAttribute
BeaufortNumber3
BeaufortNumber4
)
Weather.kif 389-389
Beaufort number 3
is an immediate
successor
attribute
of
Beaufort number 4
(
successorAttribute
BeaufortNumber4
BeaufortNumber5
)
Weather.kif 398-398
Beaufort number 4
is an immediate
successor
attribute
of
Beaufort number 5
(
successorAttribute
BeaufortNumber5
BeaufortNumber6
)
Weather.kif 407-407
Beaufort number 5
is an immediate
successor
attribute
of
Beaufort number 6
(
successorAttribute
BeaufortNumber6
BeaufortNumber7
)
Weather.kif 416-416
Beaufort number 6
is an immediate
successor
attribute
of
Beaufort number 7
(
successorAttribute
BeaufortNumber7
BeaufortNumber8
)
Weather.kif 425-425
Beaufort number 7
is an immediate
successor
attribute
of
Beaufort number 8
(
successorAttribute
BeaufortNumber8
BeaufortNumber9
)
Weather.kif 434-434
Beaufort number 8
is an immediate
successor
attribute
of
Beaufort number 9
(
successorAttribute
BeaufortNumber9
BeaufortNumber10
)
Weather.kif 443-443
Beaufort number 9
is an immediate
successor
attribute
of
Beaufort number 10
(
successorAttribute
ColdTemperature
CoolTemperature
)
Mid-level-ontology.kif 27606-27606
Cold
is an immediate
successor
attribute
of
cool
(
successorAttribute
CoolTemperature
WarmTemperature
)
Mid-level-ontology.kif 27612-27612
Cool
is an immediate
successor
attribute
of
warm
(
successorAttribute
CountryInTransition
AdvancedEconomy
)
Economy.kif 517-517
Country in transition
is an immediate
successor
attribute
of
advanced economy
(
successorAttribute
DeluxeRoom
Suite
)
Hotel.kif 1009-1009
Deluxe room
is an immediate
successor
attribute
of
suite
(
successorAttribute
DevelopingCountry
CountryInTransition
)
Economy.kif 516-516
Developing country
is an immediate
successor
attribute
of
country in transition
(
successorAttribute
EF0
EF1
)
Weather.kif 2979-2979
EF0
is an immediate
successor
attribute
of
EF1
(
successorAttribute
EF1
EF2
)
Weather.kif 2987-2987
EF1
is an immediate
successor
attribute
of
EF2
(
successorAttribute
EF2
EF3
)
Weather.kif 2995-2995
EF2
is an immediate
successor
attribute
of
EF3
(
successorAttribute
EF3
EF4
)
Weather.kif 3003-3003
EF3
is an immediate
successor
attribute
of
EF4
(
successorAttribute
EF4
EF5
)
Weather.kif 3011-3011
EF4
is an immediate
successor
attribute
of
EF5
(
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
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)
Show without tree
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