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
Die Zahl 1 Argument von
successorAttributeClosure
ist ein
fall
von
Attribute
%n{nicht}
(
domain
successorAttributeClosure
2
Attribute
)
Merge.kif 731-731
Die Zahl 2 Argument von
successorAttributeClosure
ist ein
fall
von
Attribute
%n{nicht}
(
instance
successorAttributeClosure
BinaryPredicate
)
Merge.kif 726-726
successorAttributeClosure
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
successorAttributeClosure
IrreflexiveRelation
)
Merge.kif 728-728
successorAttributeClosure
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
successorAttributeClosure
PartialValuedRelation
)
Merge.kif 729-729
successorAttributeClosure
ist ein
fall
von
PartialValuedRelation
%n{nicht}
(
instance
successorAttributeClosure
TransitiveRelation
)
Merge.kif 727-727
successorAttributeClosure
ist ein
fall
von
TransitiveRelation
%n{nicht}
(
relatedInternalConcept
successorAttributeClosure
successorAttribute
)
Merge.kif 732-732
successorAttributeClosure
ist innerlich verwandt mit
successorAttribute
%n{nicht}
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 55891-55891
(
termFormat
ChineseLanguage
successorAttributeClosure
"后续属性闭包")
chinese_format.kif 326-326
(
termFormat
ChineseTraditionalLanguage
successorAttributeClosure
"後繼屬性關閉")
domainEnglishFormat.kif 55890-55890
(
termFormat
EnglishLanguage
successorAttributeClosure
"successor attribute closure")
domainEnglishFormat.kif 55889-55889
antecedent
(=>
(
and
(
holdsDuring
?TIME1
(
developmentalForm
?OBJ ?ATTR1))
(
successorAttributeClosure
?ATTR2 ?ATTR1))
(
exists
(?TIME2)
(
and
(
earlier
?TIME2 ?TIME1)
(
holdsDuring
?TIME2
(
developmentalForm
?OBJ ?ATTR2)))))
Merge.kif 14359-14366
Wenn die
entwicklungsForm
von
entity
ist
Attribute
haelt
waehrend
TimeInterval
%n{nicht} und
** Attribute
ist ein
nachfolgerattribut
von
** Attribute
,
dann es gibt
** TimeInterval
um
** ** TimeInterval
geschieht frueh als
** TimeInterval
%n{nicht} und die
entwicklungsForm
von
** entity
ist
** ** Attribute
haelt
waehrend
** ** TimeInterval
%n{nicht}
consequent
(=>
(
successorAttribute
?ATTR1 ?ATTR2)
(
successorAttributeClosure
?ATTR1 ?ATTR2))
Merge.kif 739-741
Wenn
Attribute
ist ein direkter
nachfolgerattribut
von
** Attribute
,
dann
** Attribute
ist ein
nachfolgerattribut
von
** ** Attribute
appearance as argument number 0
(
successorAttributeClosure
ColdTemperature
HotTemperature
)
Mid-level-ontology.kif 25690-25690
ColdTemperature
ist ein
nachfolgerattribut
von
HotTemperature
(
successorAttributeClosure
ConventionalAttribute
UnconventionalAttribute
)
Dining.kif 1091-1091
ConventionalAttribute
ist ein
nachfolgerattribut
von
UnconventionalAttribute
(
successorAttributeClosure
StandardRoom
Suite
)
Hotel.kif 989-989
StandardRoom
ist ein
nachfolgerattribut
von
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