Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass CellNetwork WirelessNetwork) ComputingBrands.kif 1473-1473
(subclass CDMANetwork CellNetwork) ComputingBrands.kif 1153-1153
(subclass HSPANetwork CellNetwork) ComputingBrands.kif 1201-1201
(subclass Network2G CellNetwork) ComputingBrands.kif 1232-1232
(subclass Network3G CellNetwork) ComputingBrands.kif 1250-1250
(subclass Network4G CellNetwork) ComputingBrands.kif 1295-1295
(subclass Network5G CellNetwork) ComputingBrands.kif 1342-1342
(subclass GPRSNetwork CellNetwork) ComputingBrands.kif 1377-1377
(subclass GSMNetwork CellNetwork) ComputingBrands.kif 1388-1388
(subclass EDGENetwork CellNetwork) ComputingBrands.kif 2920-2920
(subclass EVDONetwork CellNetwork) ComputingBrands.kif 2926-2926


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