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
immediateSubclass
Sigma KEE - immediateSubclass
immediateSubclass
appearance as argument number 1
(
documentation
immediateSubclass
ChineseLanguage
"一个
SetOrClass
的 ?CLASS1 是另一个
SetOrClass
?CLASS2 的
immediateSubclass
, 为免 ?CLASS1 成为 ?CLASS2 的子类别,而 ?CLASS2 再没有子类别,这样 ?CLASS1 也是 ?CLASS2 的子类别。")
chinese_format.kif 1395-1397
(
documentation
immediateSubclass
EnglishLanguage
"A
Class
?CLASS1 is an
immediateSubclass
of another
Class
?CLASS2 just in case ?CLASS1 is a subclass of ?CLASS2 and there is no other subclass of ?CLASS2 such that ?CLASS1 is also a subclass of it.")
Merge.kif 155-158
(
documentation
immediateSubclass
JapaneseLanguage
"
SetOrClass
?CLASS1 は別の
SetOrClass
?CLASS2 の
immediateSubclass
。万が一に備えて ?CLASS1 が ?CLASS2 の サブクラスで、および ?CLASS1 もそのサブクラスであるように、 ?CLASS2 の他のサブクラスはない。")
japanese_format.kif 30-32
(
documentation
immediateSubclass
SpanishLanguage
"Un
SetOrClass
?CLASS1 es una
immediateSubclass
de otro
SetOrClass
?CLASS2 por si acaso ?CLASS1 es una subclase de ?CLASS2 y no hay otra subclase de ?CLASS2 tal que ?CLASS1 es también otra subclase de ella .")
spanish_format.kif 31-34
(
domain
immediateSubclass
1
Class
)
Merge.kif 153-153
Die Zahl 1 Argument von
immediateSubclass
ist ein
fall
von
Class
%n{nicht}
(
domain
immediateSubclass
2
Class
)
Merge.kif 154-154
Die Zahl 2 Argument von
immediateSubclass
ist ein
fall
von
Class
%n{nicht}
(
instance
immediateSubclass
AsymmetricRelation
)
Merge.kif 150-150
immediateSubclass
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
immediateSubclass
BinaryPredicate
)
Merge.kif 152-152
immediateSubclass
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
immediateSubclass
IntransitiveRelation
)
Merge.kif 151-151
immediateSubclass
ist ein
fall
von
IntransitiveRelation
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
immediateSubclass
"%1 %n 是 %2 的
immediateSubclass
")
chinese_format.kif 303-303
(
format
EnglishLanguage
immediateSubclass
"%1 is %n an immediate subclass of %2")
english_format.kif 308-308
(
format
FrenchLanguage
immediateSubclass
"%1 est %n une sous-classe imm�diate de %2")
french_format.kif 174-174
(
format
ItalianLanguage
immediateSubclass
"%1 è una sottoclasse immediata di %2")
relations-it.txt 140-140
(
format
JapaneseLanguage
immediateSubclass
"%1 は %2 の immediate の サブクラス では %n")
japanese_format.kif 1994-1994
(
format
PortugueseLanguage
immediateSubclass
"%1 e' %n uma sub-classe imediata de %2")
portuguese_format.kif 126-126
(
format
de
immediateSubclass
"%1 ist eine direkte teilkategorie von %2")
relations-de.txt 397-397
(
format
hi
immediateSubclass
"%1 %2 kaa nikaTastha upavarga hai")
relations-hindi.txt 179-179
(
format
ro
immediateSubclass
"%1 %n{nu} este o subclasã immediate%t{imediatã} a lui %2")
relations-ro.kif 194-194
(
format
sv
immediateSubclass
"%1 är %n{inte} en direkt subklass till %2")
relations-sv.txt 183-183
(
format
tg
immediateSubclass
"%1 ay ang agad klase ng mababa sa %2")
relations-tg.txt 284-284
(
termFormat
ChineseLanguage
immediateSubclass
"直接子类")
domainEnglishFormat.kif 29367-29367
(
termFormat
ChineseLanguage
immediateSubclass
"直接子类别")
chinese_format.kif 304-304
(
termFormat
ChineseTraditionalLanguage
immediateSubclass
"直接子類")
domainEnglishFormat.kif 29366-29366
(
termFormat
EnglishLanguage
immediateSubclass
"immediate subclass")
domainEnglishFormat.kif 29365-29365
(
termFormat
tg
immediateSubclass
"agad klase ng mababa")
relations-tg.txt 285-285
antecedent
(=>
(
immediateSubclass
?CLASS1 ?CLASS2)
(
not
(
exists
(?CLASS3)
(
and
(
subclass
?CLASS3 ?CLASS2)
(
subclass
?CLASS1 ?CLASS3)
(
not
(
equal
?CLASS2 ?CLASS3))
(
not
(
equal
?CLASS1 ?CLASS3))))))
Merge.kif 160-167
Wenn
Class
ist eine
direkte
teilkategorie von
** Class
,
dann es gibt nicht
** Class
um
** ** Class
ist eine
teilkategorie
von
** ** Class
und
** Class
ist eine
teilkategorie
von
** ** Class
und
** ** Class
ist gleich
** ** Class
nicht und
** Class
ist gleich
** ** Class
nicht
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