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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GSMNetwork

Sigma KEE - GSMNetwork
GSMNetwork(GSM)

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1388-1388 GSM is a subclass of cell network

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1391-1391
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1396-1396
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1390-1390
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1395-1395
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1389-1389
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1394-1394
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1392-1392
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1397-1397


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