Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLangua
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(
subclass
ChineseLanguage
SinoTibetanLanguage
)
Languages.kif 14591-14591
Chinese language
is a
subclass
of
sino tibetan language
(
subclass
ChineseLanguage
SpokenHumanLanguage
)
Languages.kif 14592-14592
Chinese language
is a
subclass
of
spoken human language
(
subclass
ChineseLanguage
WrittenHumanLanguage
)
Languages.kif 14593-14593
Chinese language
is a
subclass
of
written human language
(
subclass
ChineseLanguage
NaturalLanguage
)
Languages.kif 14594-14594
Chinese language
is a
subclass
of
natural language
(
format
ChineseLanguage
subclass
"%1 %n 是 %2 的
subclass
")
chinese_format.kif 319-319
Chinese language
is a
subclass
of
natural language
(
termFormat
ChineseLanguage
subclass
"子类别")
chinese_format.kif 320-320
Chinese language
is a
subclass
of
natural language
(
termFormat
ChineseLanguage
subclass
"子类")
domainEnglishFormat.kif 55708-55708
Chinese language
is a
subclass
of
natural language
(
documentation
subclass
ChineseLanguage
"(
subclass
?CLASS1 ?CLASS2) 的意思是 ?CLASS1 是 ?CLASS2 的
subclass
,也就是说, ?CLASS1 的每一个
instance
同时也是 ?CLASS2 的一个
instance
。一个
Class
可以具有多个超类别和子类别。")
chinese_format.kif 1371-1373
Chinese language
is a
subclass
of
natural language
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