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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GPRSNetwork

 Sigma KEE - GPRSNetwork
GPRSNetwork(GPRS)

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1377-1377 GPRS 是 cellular 行动网路 的 subclass

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1380-1380
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1385-1385
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1379-1379
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1384-1384
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1378-1378
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1383-1383
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1381-1381
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1386-1386


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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