Term Intersection : Welcome guest : log in

[  Home |  Graph |  ]  KB:  SUMO Language:  ChineseLanguageChinesePinyinWritingChineseSimplifiedWritingChineseTraditionalLanguageEnglishLanguageFrenchLanguageGermanLanguageHindiItalianLanguageJapaneseLanguagePortugueseLanguageSpanishLanguageSwedishLanguagecbczdehirosvtermFormattg   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

Term 1: Term 2:

(subclass Language LinguisticExpression)	Merge.kif 1440-1440	Language is a subclass of linguistic expression
(subclass WrittenLanguage Language)	Merge.kif 1448-1448	WrittenLanguage is a subclass of language
(subclass AnimalLanguage Language)	Merge.kif 1450-1450	Animal language is a subclass of language
(subclass ArtificialLanguage Language)	Merge.kif 1464-1464	Artificial language is a subclass of language
(subclass HumanLanguage Language)	Merge.kif 1481-1481	Human language is a subclass of 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