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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AppleIPhoneOS8

 Sigma KEE - AppleIPhoneOS8
AppleIPhoneOS8(IOS 8)

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 173-173 IOS 8 is a subclass of IOS

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 700-700 device OS Apple iPhone and IOS 8
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 701-701 device OS Apple iPhone and IOS 8
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 176-176
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 175-175
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 174-174
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 177-177


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