Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
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 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)
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