Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 696-698
(
domain
successorAttribute
1
Attribute
)
Merge.kif 693-693
domain
successorAttribute
, 1 and
Attribute
(
domain
successorAttribute
2
Attribute
)
Merge.kif 694-694
domain
successorAttribute
, 2 and
Attribute
(
instance
successorAttribute
AsymmetricRelation
)
Merge.kif 692-692
instance
successorAttribute
and
AsymmetricRelation
(
instance
successorAttribute
BinaryPredicate
)
Merge.kif 691-691
instance
successorAttribute
and
BinaryPredicate
appearance as argument number 2
(
disjointRelation
subAttribute
successorAttribute
)
Merge.kif 673-673
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 328-328
(
relatedInternalConcept
successorAttributeClosure
successorAttribute
)
Merge.kif 721-721
relatedInternalConcept
successorAttributeClosure
and
successorAttribute
(
relatedInternalConcept
successorClass
successorAttribute
)
Merge.kif 8926-8926
relatedInternalConcept
successorClass
and
successorAttribute
(
termFormat
ChineseLanguage
successorAttribute
"后续属性")
chinese_format.kif 324-324
(
termFormat
ChineseLanguage
successorAttribute
"继承属性")
domainEnglishFormat.kif 55864-55864
(
termFormat
ChineseTraditionalLanguage
successorAttribute
"繼承屬性")
domainEnglishFormat.kif 55863-55863
(
termFormat
EnglishLanguage
successorAttribute
"successor attribute")
domainEnglishFormat.kif 55862-55862
antecedent
(=>
(
successorAttribute
?ATTR1 ?ATTR2)
(
successorAttributeClosure
?ATTR1 ?ATTR2))
Merge.kif 728-730
successorAttribute
Attribute
and
Attribute
successorAttributeClosure
Attribute
and
Attribute
appearance as argument number 0
(
successorAttribute
BeaufortNumber0
BeaufortNumber1
)
Weather.kif 373-373
successorAttribute
BeaufortNumber0
and
BeaufortNumber1
(
successorAttribute
BeaufortNumber1
BeaufortNumber2
)
Weather.kif 382-382
successorAttribute
BeaufortNumber1
and
BeaufortNumber2
(
successorAttribute
BeaufortNumber10
BeaufortNumber11
)
Weather.kif 464-464
successorAttribute
BeaufortNumber10
and
BeaufortNumber11
(
successorAttribute
BeaufortNumber11
BeaufortNumber12
)
Weather.kif 473-473
successorAttribute
BeaufortNumber11
and
BeaufortNumber12
(
successorAttribute
BeaufortNumber2
BeaufortNumber3
)
Weather.kif 391-391
successorAttribute
BeaufortNumber2
and
BeaufortNumber3
(
successorAttribute
BeaufortNumber3
BeaufortNumber4
)
Weather.kif 401-401
successorAttribute
BeaufortNumber3
and
BeaufortNumber4
(
successorAttribute
BeaufortNumber4
BeaufortNumber5
)
Weather.kif 410-410
successorAttribute
BeaufortNumber4
and
BeaufortNumber5
(
successorAttribute
BeaufortNumber5
BeaufortNumber6
)
Weather.kif 419-419
successorAttribute
BeaufortNumber5
and
BeaufortNumber6
(
successorAttribute
BeaufortNumber6
BeaufortNumber7
)
Weather.kif 428-428
successorAttribute
BeaufortNumber6
and
BeaufortNumber7
(
successorAttribute
BeaufortNumber7
BeaufortNumber8
)
Weather.kif 437-437
successorAttribute
BeaufortNumber7
and
BeaufortNumber8
(
successorAttribute
BeaufortNumber8
BeaufortNumber9
)
Weather.kif 446-446
successorAttribute
BeaufortNumber8
and
BeaufortNumber9
(
successorAttribute
BeaufortNumber9
BeaufortNumber10
)
Weather.kif 455-455
successorAttribute
BeaufortNumber9
and
BeaufortNumber10
(
successorAttribute
ColdTemperature
CoolTemperature
)
Mid-level-ontology.kif 25099-25099
successorAttribute
ColdTemperature
and
CoolTemperature
(
successorAttribute
CoolTemperature
WarmTemperature
)
Mid-level-ontology.kif 25105-25105
successorAttribute
CoolTemperature
and
WarmTemperature
(
successorAttribute
CountryInTransition
AdvancedEconomy
)
Economy.kif 512-512
successorAttribute
CountryInTransition
and
AdvancedEconomy
(
successorAttribute
DeluxeRoom
Suite
)
Hotel.kif 979-979
successorAttribute
DeluxeRoom
and
Suite
(
successorAttribute
DevelopingCountry
CountryInTransition
)
Economy.kif 511-511
successorAttribute
DevelopingCountry
and
CountryInTransition
(
successorAttribute
EF0
EF1
)
Weather.kif 2149-2149
successorAttribute
EF0
and
EF1
(
successorAttribute
EF1
EF2
)
Weather.kif 2157-2157
successorAttribute
EF1
and
EF2
(
successorAttribute
EF2
EF3
)
Weather.kif 2165-2165
successorAttribute
EF2
and
EF3
(
successorAttribute
EF3
EF4
)
Weather.kif 2173-2173
successorAttribute
EF3
and
EF4
(
successorAttribute
EF4
EF5
)
Weather.kif 2181-2181
successorAttribute
EF4
and
EF5
(
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
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