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

Formal Language: 



KB Term:  Term intersection
English Word: 

  deviceOS

Sigma KEE - deviceOS
deviceOS

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 698-700
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 695-695 The number 1 argument of deviceOS is a subclass of operating system
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 696-696 The number 2 argument of deviceOS is a subclass of computer
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 694-694 deviceOS is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 697-697 deviceOS is a subrelation of can run on

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 702-711

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 660-660 deviceOS AppleIPhone1 and IOS 1
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 690-690 deviceOS AppleIPhone11 and IOS 13
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 692-692 deviceOS AppleIPhone11ProMax and IOS 13
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 691-691 deviceOS AppleIPhone11pro and IOS 13
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 662-662 deviceOS AppleIPhone3GS and IOS 3
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 661-661 deviceOS AppleIPhone3g and IOS 2
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 663-663 deviceOS AppleIPhone4 and IOS 4
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 664-664 deviceOS AppleIPhone4s and IOS 5
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 665-665 deviceOS AppleIPhone5 and IOS 6
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 666-666 deviceOS AppleIPhone5c and IOS 7
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 667-667 deviceOS AppleIPhone5s and IOS 7
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 668-668 deviceOS AppleIPhone6 and IOS 8
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 669-669 deviceOS AppleIPhone6plus and IOS 8
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 673-673 deviceOS AppleIPhone6s and AppleIPhoneOS901
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 674-674 deviceOS AppleIPhone6splus and AppleIPhoneOS901
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 679-679 deviceOS AppleIPhone7 and IOS 10
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 680-680 deviceOS AppleIPhone7plus and IOS 10
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 681-681 deviceOS AppleIPhone8 and IOS 11
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 682-682 deviceOS AppleIPhone8plus and IOS 11
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 683-683 deviceOS AppleIPhoneX and AppleIPhoneOS111
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 689-689 deviceOS AppleIPhoneXR and IOS 12
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 687-687 deviceOS AppleIPhoneXS and IOS 12
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 688-688 deviceOS AppleIPhoneXSmax and IOS 12
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 675-675 deviceOS AppleIPhonese and AppleIPhoneOS93


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