Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
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 707-709
(
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 704-704
Le nombre 1 argument de
successorAttribute
est une
instance
de
attribut
(
domain
successorAttribute
2
Attribute
)
Merge.kif 705-705
Le nombre 2 argument de
successorAttribute
est une
instance
de
attribut
(
instance
successorAttribute
AsymmetricRelation
)
Merge.kif 703-703
successorAttribute
est une
instance
de
relation asym�trique
(
instance
successorAttribute
BinaryPredicate
)
Merge.kif 702-702
successorAttribute
est une
instance
de
pr�dicat binaire
appearance as argument number 2
(
disjointRelation
subAttribute
successorAttribute
)
Merge.kif 684-684
subAttribute
et
successorAttribute
sont
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 328-328
(
format
FrenchLanguage
successorAttribute
"%1 est %n un attribut successeur imm�diat de %2")
french_format.kif 184-184
(
format
ItalianLanguage
successorAttribute
"%1 è %n un immediato attributo successore di %2")
relations-it.txt 286-286
(
format
JapaneseLanguage
successorAttribute
"%1 は %2 の immediate successor
attribute
では %n")
japanese_format.kif 2004-2004
(
format
PortugueseLanguage
successorAttribute
"%1 e' %n um atributo sucessor immediato de %2")
portuguese_format.kif 136-136
(
format
cz
successorAttribute
"%1 %p{je} %n{nen�} an immediate successor attribute of %2")
relations-cz.txt 195-195
(
format
de
successorAttribute
"%1 ist ein direkter nachfolgerattribut von %2")
relations-de.txt 425-425
(
format
hi
successorAttribute
"%1 %2 kaa eka nikaTastha parivartii visheshhataa %n hai")
relations-hindi.txt 323-323
(
format
ro
successorAttribute
"%1 %n{nu} este un
attribute
%t{atribut} imediat %successor%t{succesor} al lui %2")
relations-ro.kif 204-204
(
format
sv
successorAttribute
"%1 är %n{inte} ett direkt efterföljande attribut till %2")
relations-sv.txt 194-194
(
format
tg
successorAttribute
"%1 %n ay ang pagsunod ng pinakamlapit ng %2")
relations-tg.txt 478-478
(
relatedInternalConcept
successorAttributeClosure
successorAttribute
)
Merge.kif 732-732
successorAttributeClosure
est
reli
� � l'int�rieur de SUMO �
successorAttribute
(
relatedInternalConcept
successorClass
successorAttribute
)
Merge.kif 9022-9022
successorClass
est
reli
� � l'int�rieur de SUMO �
successorAttribute
(
termFormat
ChineseLanguage
successorAttribute
"后续属性")
chinese_format.kif 324-324
(
termFormat
ChineseLanguage
successorAttribute
"继承属性")
domainEnglishFormat.kif 55885-55885
(
termFormat
ChineseTraditionalLanguage
successorAttribute
"繼承屬性")
domainEnglishFormat.kif 55884-55884
(
termFormat
EnglishLanguage
successorAttribute
"successor attribute")
domainEnglishFormat.kif 55883-55883
antecedent
(=>
(
successorAttribute
?ATTR1 ?ATTR2)
(
successorAttributeClosure
?ATTR1 ?ATTR2))
Merge.kif 739-741
Attribut
est un
attribut
successeur
imm�diat de
attribut
attribut
est un
attribut
successeur
de
attribut
appearance as argument number 0
(
successorAttribute
BeaufortNumber0
BeaufortNumber1
)
Weather.kif 373-373
BeaufortNumber0
est un
attribut
successeur
imm�diat de
BeaufortNumber1
(
successorAttribute
BeaufortNumber1
BeaufortNumber2
)
Weather.kif 382-382
BeaufortNumber1
est un
attribut
successeur
imm�diat de
BeaufortNumber2
(
successorAttribute
BeaufortNumber10
BeaufortNumber11
)
Weather.kif 464-464
BeaufortNumber10
est un
attribut
successeur
imm�diat de
BeaufortNumber11
(
successorAttribute
BeaufortNumber11
BeaufortNumber12
)
Weather.kif 473-473
BeaufortNumber11
est un
attribut
successeur
imm�diat de
BeaufortNumber12
(
successorAttribute
BeaufortNumber2
BeaufortNumber3
)
Weather.kif 391-391
BeaufortNumber2
est un
attribut
successeur
imm�diat de
BeaufortNumber3
(
successorAttribute
BeaufortNumber3
BeaufortNumber4
)
Weather.kif 401-401
BeaufortNumber3
est un
attribut
successeur
imm�diat de
BeaufortNumber4
(
successorAttribute
BeaufortNumber4
BeaufortNumber5
)
Weather.kif 410-410
BeaufortNumber4
est un
attribut
successeur
imm�diat de
BeaufortNumber5
(
successorAttribute
BeaufortNumber5
BeaufortNumber6
)
Weather.kif 419-419
BeaufortNumber5
est un
attribut
successeur
imm�diat de
BeaufortNumber6
(
successorAttribute
BeaufortNumber6
BeaufortNumber7
)
Weather.kif 428-428
BeaufortNumber6
est un
attribut
successeur
imm�diat de
BeaufortNumber7
(
successorAttribute
BeaufortNumber7
BeaufortNumber8
)
Weather.kif 437-437
BeaufortNumber7
est un
attribut
successeur
imm�diat de
BeaufortNumber8
(
successorAttribute
BeaufortNumber8
BeaufortNumber9
)
Weather.kif 446-446
BeaufortNumber8
est un
attribut
successeur
imm�diat de
BeaufortNumber9
(
successorAttribute
BeaufortNumber9
BeaufortNumber10
)
Weather.kif 455-455
BeaufortNumber9
est un
attribut
successeur
imm�diat de
BeaufortNumber10
(
successorAttribute
ColdTemperature
CoolTemperature
)
Mid-level-ontology.kif 25708-25708
ColdTemperature
est un
attribut
successeur
imm�diat de
CoolTemperature
(
successorAttribute
CoolTemperature
WarmTemperature
)
Mid-level-ontology.kif 25714-25714
CoolTemperature
est un
attribut
successeur
imm�diat de
WarmTemperature
(
successorAttribute
CountryInTransition
AdvancedEconomy
)
Economy.kif 517-517
CountryInTransition
est un
attribut
successeur
imm�diat de
AdvancedEconomy
(
successorAttribute
DeluxeRoom
Suite
)
Hotel.kif 1001-1001
DeluxeRoom
est un
attribut
successeur
imm�diat de
Suite
(
successorAttribute
DevelopingCountry
CountryInTransition
)
Economy.kif 516-516
DevelopingCountry
est un
attribut
successeur
imm�diat de
CountryInTransition
(
successorAttribute
EF0
EF1
)
Weather.kif 2150-2150
EF0
est un
attribut
successeur
imm�diat de
EF1
(
successorAttribute
EF1
EF2
)
Weather.kif 2158-2158
EF1
est un
attribut
successeur
imm�diat de
EF2
(
successorAttribute
EF2
EF3
)
Weather.kif 2166-2166
EF2
est un
attribut
successeur
imm�diat de
EF3
(
successorAttribute
EF3
EF4
)
Weather.kif 2174-2174
EF3
est un
attribut
successeur
imm�diat de
EF4
(
successorAttribute
EF4
EF5
)
Weather.kif 2182-2182
EF4
est un
attribut
successeur
imm�diat de
EF5
(
successorAttribute
FormerSovietOrEasternEuropeanCountry
DevelopedCountry
)
Economy.kif 187-187
FormerSovietOrEasternEuropeanCountry
est un
attribut
successeur
imm�diat de
DevelopedCountry
(
successorAttribute
LessDevelopedCountry
FormerSovietOrEasternEuropeanCountry
)
Economy.kif 209-209
LessDevelopedCountry
est un
attribut
successeur
imm�diat de
FormerSovietOrEasternEuropeanCountry
(
successorAttribute
LowIncomeCountry
LowerMiddleIncomeCountry
)
Economy.kif 426-426
LowIncomeCountry
est un
attribut
successeur
imm�diat de
LowerMiddleIncomeCountry
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