| appearance as argument number 1 |
|
| (subclass GSMNetwork CellNetwork) | ComputingBrands.kif 1388-1388 | GSM is a subclass of cell network |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage GSMNetwork "GSM 网路") | ComputingBrands.kif 1391-1391 | |
| (termFormat ChineseLanguage GSMNetwork "GSM") | ComputingBrands.kif 1396-1396 | |
| (termFormat ChineseTraditionalLanguage GSMNetwork "GSM 網路") | ComputingBrands.kif 1390-1390 | |
| (termFormat ChineseTraditionalLanguage GSMNetwork "GSM") | ComputingBrands.kif 1395-1395 | |
| (termFormat EnglishLanguage GSMNetwork "GSM network") | ComputingBrands.kif 1389-1389 | |
| (termFormat EnglishLanguage GSMNetwork "GSM") | ComputingBrands.kif 1394-1394 | |
| (termFormat JapaneseLanguage GSMNetwork "GSM ネットワーク") | ComputingBrands.kif 1392-1392 | |
| (termFormat JapaneseLanguage GSMNetwork "GSM") | ComputingBrands.kif 1397-1397 |
|
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