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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Network4G

 Sigma KEE - Network4G
Network4G(4G network)

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1314-1318
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1308-1312
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1296-1306
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1320-1323
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1295-1295 4G network Is a subclass of cell network

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1332-1332
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1328-1328
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1331-1331
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1327-1327
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1330-1330
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1326-1326
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1333-1333
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1329-1329

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1335-1340


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