Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CellNetwork
CellNetwork

appearance as argument number 1
-------------------------


(subclass CellNetwork WirelessNetwork) ComputingBrands.kif 1451-1451

appearance as argument number 2
-------------------------


(subclass 2GNetwork CellNetwork) ComputingBrands.kif 1210-1210
(subclass 3GNetwork CellNetwork) ComputingBrands.kif 1227-1227
(subclass 4GNetwork CellNetwork) ComputingBrands.kif 1273-1273
(subclass 5GNetwork CellNetwork) ComputingBrands.kif 1319-1319
(subclass CDMANetwork CellNetwork) ComputingBrands.kif 1130-1130
(subclass EDGENetwork CellNetwork) ComputingBrands.kif 2893-2893
(subclass EVDONetwork CellNetwork) ComputingBrands.kif 2899-2899
(subclass GPRSNetwork CellNetwork) ComputingBrands.kif 1354-1354
(subclass GSMNetwork CellNetwork) ComputingBrands.kif 1365-1365
(subclass HSPANetwork CellNetwork) ComputingBrands.kif 1179-1179
(termFormat ChineseLanguage CellNetwork "cellular 行动网路") ComputingBrands.kif 1459-1459
(termFormat ChineseLanguage CellNetwork "cellular 行動網路") ComputingBrands.kif 1453-1453
(termFormat ChineseTraditionalLanguage CellNetwork "cellular network") ComputingBrands.kif 1452-1452
(termFormat ChineseTraditionalLanguage CellNetwork "行動網路") ComputingBrands.kif 1458-1458
(termFormat EnglishLanguage CellNetwork "cell network") ComputingBrands.kif 1457-1457
(termFormat EnglishLanguage CellNetwork "cellular 行动网路") ComputingBrands.kif 1454-1454
(termFormat JapaneseLanguage CellNetwork "セルネットワーク") ComputingBrands.kif 1460-1460
(termFormat JapaneseLanguage CellNetwork "セルラーネットワーク") ComputingBrands.kif 1455-1455


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners