Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
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
ChineseLanguage
は
SinoTibetanLanguage
の
subclass
では
(
subclass
ChineseLanguage
SpokenHumanLanguage
)
Languages.kif 14592-14592
ChineseLanguage
は
SpokenHumanLanguage
の
subclass
では
(
subclass
ChineseLanguage
WrittenHumanLanguage
)
Languages.kif 14593-14593
ChineseLanguage
は
WrittenHumanLanguage
の
subclass
では
(
subclass
ChineseLanguage
NaturalLanguage
)
Languages.kif 14594-14594
ChineseLanguage
は
自然言語
の
subclass
では
(
format
ChineseLanguage
subclass
"%1 %n 是 %2 的
subclass
")
chinese_format.kif 319-319
ChineseLanguage
は
自然言語
の
subclass
では
(
termFormat
ChineseLanguage
subclass
"子类别")
chinese_format.kif 320-320
ChineseLanguage
は
自然言語
の
subclass
では
(
termFormat
ChineseLanguage
subclass
"子类")
domainEnglishFormat.kif 55708-55708
ChineseLanguage
は
自然言語
の
subclass
では
(
documentation
subclass
ChineseLanguage
"(
subclass
?CLASS1 ?CLASS2) 的意思是 ?CLASS1 是 ?CLASS2 的
subclass
,也就是说, ?CLASS1 的每一个
instance
同时也是 ?CLASS2 的一个
instance
。一个
Class
可以具有多个超类别和子类别。")
chinese_format.kif 1371-1373
ChineseLanguage
は
自然言語
の
subclass
では
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