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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CDMANetwork

Sigma KEE - CDMANetwork
CDMANetwork(Code-division multiple access)

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1143-1145
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1139-1141
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1130-1137
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1147-1151
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1153-1153 Code-division multiple access is a subclass of cell network

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1156-1156
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1161-1161
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1166-1166
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1155-1155
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1160-1160
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1165-1165
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1154-1154
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1159-1159
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1164-1164
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1157-1157
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1162-1162
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1167-1167


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