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 是 苹果作业系统 的 subclass

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4254-4254 IOS 13 应该可以 ComputerProcess AppleFindMy
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 722-722 deviceOS AppleIPhone11 and IOS 13
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 724-724 deviceOS AppleIPhone11ProMax and IOS 13
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 723-723 deviceOS AppleIPhone11pro 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