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
Il numero 1 argomenti di
successorAttributeClosure
è un
istanza
di
Attributo
(
domain
successorAttributeClosure
2
Attribute
)
Merge.kif 731-731
Il numero 2 argomenti di
successorAttributeClosure
è un
istanza
di
Attributo
(
instance
successorAttributeClosure
BinaryPredicate
)
Merge.kif 726-726
successorAttributeClosure
è un'
istanza
di
PredicatoBinario
(
instance
successorAttributeClosure
IrreflexiveRelation
)
Merge.kif 728-728
successorAttributeClosure
è un'
istanza
di
RelazioneNonRiflessiva
(
instance
successorAttributeClosure
PartialValuedRelation
)
Merge.kif 729-729
successorAttributeClosure
è un'
istanza
di
RelazioneAValoreParziale
(
instance
successorAttributeClosure
TransitiveRelation
)
Merge.kif 727-727
successorAttributeClosure
è un'
istanza
di
RelazioneTransitiva
(
relatedInternalConcept
successorAttributeClosure
successorAttribute
)
Merge.kif 732-732
successorAttributeClosure
è
interamente
correlato a
successorAttribute
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
La
forma
evolutiva
di
Entit�
è
Attributo
vales
durante
IntervalloTemporale
Attributo
è un
attributo
successore di
Attributo
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
la
forma
evolutiva
di
Entit�
è
Attributo
vales
durante
IntervalloTemporale
consequent
(=>
(
successorAttribute
?ATTR1 ?ATTR2)
(
successorAttributeClosure
?ATTR1 ?ATTR2))
Merge.kif 739-741
Attributo
è un immediato
attributo
successore di
Attributo
Attributo
è un
attributo
successore di
Attributo
appearance as argument number 0
(
successorAttributeClosure
ColdTemperature
HotTemperature
)
Mid-level-ontology.kif 25735-25735
ColdTemperature
è un
attributo
successore di
HotTemperature
(
successorAttributeClosure
ConventionalAttribute
UnconventionalAttribute
)
Dining.kif 1091-1091
ConventionalAttribute
è un
attributo
successore di
UnconventionalAttribute
(
successorAttributeClosure
StandardRoom
Suite
)
Hotel.kif 989-989
StandardRoom
è un
attributo
successore di
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