| appearance as argument number 1 |
|
| (documentation CavinenaGroupLanguage EnglishLanguage "Of the four CavinenaTacanaLanguages, one is classified as a CavinenaGroupLanguage.(extract from http:/ / www.ethnologue.com/ )") | Languages.kif 13235-13236 | |
| (subclass CavinenaGroupLanguage CavinenaTacanaLanguage) | Languages.kif 13234-13234 | Cavinena group language is a subclass of cavinena tacana language |
| appearance as argument number 2 |
|
|
| (instance CavinenaLanguage CavinenaGroupLanguage) | Languages.kif 13239-13239 | Cavinena language is an instance of cavinena group language |
| (termFormat ChineseLanguage CavinenaGroupLanguage "cavinena 团体语言") | domainEnglishFormat.kif 13576-13576 | Cavinena language is an instance of cavinena group language |
| (termFormat ChineseTraditionalLanguage CavinenaGroupLanguage "cavinena 團體語言") | domainEnglishFormat.kif 13575-13575 | Cavinena language is an instance of cavinena group language |
| (termFormat EnglishLanguage CavinenaGroupLanguage "cavinena group language") | domainEnglishFormat.kif 13574-13574 | Cavinena language is an instance of cavinena group language |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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