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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AppleIPhoneOS11

 Sigma KEE - AppleIPhoneOS11
AppleIPhoneOS11(IOS 11)

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


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

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 713-713 device OS Apple iPhone and IOS 11
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 714-714 device OS Apple iPhone and IOS 11
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 717-717 Apple i phone oS111 is a subclass of IOS 11
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 194-194
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 193-193
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 192-192
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 195-195


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