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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AppleIPhoneOS13

 Sigma KEE - AppleIPhoneOS13
AppleIPhoneOS13(IOS 13)

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


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

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4254-4254 IOS 13 is capable of ComputerProcessing Find My
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 722-722 device OS Apple iPhone and IOS 13
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 724-724 device OS Apple iPhone and IOS 13
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 723-723 device OS Apple iPhone and IOS 13
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 206-206
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 205-205
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 204-204
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 207-207


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