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
successorAttributeClosure
Sigma KEE - successorAttributeClosure
successorAttributeClosure
appearance as argument number 1
(
documentation
successorAttributeClosure
ChineseLanguage
"
successorAttribute
的 传递闭包;(
successorAttributeClosure
?ATTR1 ?ATTR2) 的意思是
successorAttribute
有一连串 联系着 ?ATTR1 和 ?ATTR2 的断言。 ")
chinese_format.kif 1538-1540
(
documentation
successorAttributeClosure
EnglishLanguage
"The transitive closure of
successorAttribute
. (
successorAttributeClosure
?ATTR1 ?ATTR2) means that there is a chain of
successorAttribute
assertions connecting ?ATTR1 and ?ATTR2.")
Merge.kif 734-737
(
documentation
successorAttributeClosure
JapaneseLanguage
"
successorAttribute
の推移的 閉鎖。 (
successorAttributeClosure
?ATTR1 ?ATTR2) とは、?ATTR1と?ATTR2を接続する
successorAttribute
アサーションのチェーンがる、という意味である。")
japanese_format.kif 104-106
(
documentation
successorAttributeClosure
SpanishLanguage
"La clausura transitiva de
successorAttribute
. (
successorAttributeClosure
?ATTR1 ?ATTR2) quiere decir que hay cadena de afirmaciones de
successorAttribute
conectando ?ATTR1 y ?ATTR2.")
spanish_format.kif 122-124
(
domain
successorAttributeClosure
1
Attribute
)
Merge.kif 730-730
The number 1 argument of
successor attribute closure
is an
instance
of
attribute
(
domain
successorAttributeClosure
2
Attribute
)
Merge.kif 731-731
The number 2 argument of
successor attribute closure
is an
instance
of
attribute
(
instance
successorAttributeClosure
BinaryPredicate
)
Merge.kif 726-726
successor attribute closure
is an
instance
of
binary predicate
(
instance
successorAttributeClosure
IrreflexiveRelation
)
Merge.kif 728-728
successor attribute closure
is an
instance
of
irreflexive relation
(
instance
successorAttributeClosure
PartialValuedRelation
)
Merge.kif 729-729
successor attribute closure
is an
instance
of
partial valued relation
(
instance
successorAttributeClosure
TransitiveRelation
)
Merge.kif 727-727
successor attribute closure
is an
instance
of
transitive relation
(
relatedInternalConcept
successorAttributeClosure
successorAttribute
)
Merge.kif 732-732
successor attribute closure
is
internally
related to
successor attribute
appearance as argument number 2
(
format
ChineseLanguage
successorAttributeClosure
"%1 %n 是 %2 的后续属性")
chinese_format.kif 325-325
(
format
EnglishLanguage
successorAttributeClosure
"%1 is %n a successor
attribute
of %2")
english_format.kif 330-330
(
format
FrenchLanguage
successorAttributeClosure
"%1 est %n un attribut successeur de %2")
french_format.kif 185-185
(
format
ItalianLanguage
successorAttributeClosure
"%1 è %n un attributo successore di %2")
relations-it.txt 287-287
(
format
JapaneseLanguage
successorAttributeClosure
"%1 は %2 の successor
attribute
では %n")
japanese_format.kif 2005-2005
(
format
PortugueseLanguage
successorAttributeClosure
"%1 e' %n um atributo sucessor de %2")
portuguese_format.kif 137-137
(
format
cz
successorAttributeClosure
"%1 %p{je} %n{nen�} a successor attribute of %2")
relations-cz.txt 196-196
(
format
de
successorAttributeClosure
"%1 ist ein nachfolgerattribut von %2")
relations-de.txt 428-428
(
format
hi
successorAttributeClosure
"%1 %2 kii parivartii visheshhataa %n hai")
relations-hindi.txt 324-324
(
format
ro
successorAttributeClosure
"%1 %n{nu} este un
attribute
%t{atribut} successor%t{succesor} al lui %2")
relations-ro.kif 205-205
(
format
sv
successorAttributeClosure
"%1 är %n{inte} ett efterföljande attribut till %2")
relations-sv.txt 195-195
(
format
tg
successorAttributeClosure
"%1 %n ay ang pagsunod ng katnagian ng %2")
relations-tg.txt 479-479
(
termFormat
ChineseLanguage
successorAttributeClosure
"后继属性关闭")
domainEnglishFormat.kif 55893-55893
(
termFormat
ChineseLanguage
successorAttributeClosure
"后续属性闭包")
chinese_format.kif 326-326
(
termFormat
ChineseTraditionalLanguage
successorAttributeClosure
"後繼屬性關閉")
domainEnglishFormat.kif 55892-55892
(
termFormat
EnglishLanguage
successorAttributeClosure
"successor attribute closure")
domainEnglishFormat.kif 55891-55891
antecedent
(=>
(
and
(
holdsDuring
?TIME1
(
developmentalForm
?OBJ ?ATTR1))
(
successorAttributeClosure
?ATTR2 ?ATTR1))
(
exists
(?TIME2)
(
and
(
earlier
?TIME2 ?TIME1)
(
holdsDuring
?TIME2
(
developmentalForm
?OBJ ?ATTR2)))))
Merge.kif 14383-14390
If the
developmental
form
of
an entity
is
an attribute
holds
during
a time interval
and
another attribute
is a
successor
attribute
of
the attribute
,
then there exists
another time interval
such that
the other time interval
happens
earlier
than
the time interval
and the
developmental
form
of
the entity
is
the other attribute
holds
during
the other time interval
consequent
(=>
(
successorAttribute
?ATTR1 ?ATTR2)
(
successorAttributeClosure
?ATTR1 ?ATTR2))
Merge.kif 739-741
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
(
successorAttributeClosure
ColdTemperature
HotTemperature
)
Mid-level-ontology.kif 25735-25735
Cold
is a
successor
attribute
of
hot
(
successorAttributeClosure
ConventionalAttribute
UnconventionalAttribute
)
Dining.kif 1091-1091
Conventional
is a
successor
attribute
of
unconventional
(
successorAttributeClosure
StandardRoom
Suite
)
Hotel.kif 989-989
Standard room
is a
successor
attribute
of
suite
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