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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BasebandForIPhone

 Sigma KEE - BasebandForIPhone
BasebandForIPhone(baseband)

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2251-2251
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2249-2250
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2248-2248
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2252-2252
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2241-2241 Baseband is a subclass of firmware

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2256-2256
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2255-2255
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2254-2254
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2257-2257

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2242-2246


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