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 730-732
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 727-727 Le nombre 1 argument de deviceOS est une sous-classe de OperatingSystem
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 728-728 Le nombre 2 argument de deviceOS est une sous-classe de Computer
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 726-726 deviceOS est une instance de relation binaire
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 729-729 deviceOS est une sous-relation de canRunOn

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65809-65809

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 734-743

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 692-692 deviceOS AppleIPhone1 and AppleIPhoneOS1
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 722-722 deviceOS AppleIPhone11 and AppleIPhoneOS13
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 724-724 deviceOS AppleIPhone11ProMax and AppleIPhoneOS13
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 723-723 deviceOS AppleIPhone11pro and AppleIPhoneOS13
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 694-694 deviceOS AppleIPhone3GS and AppleIPhoneOS3
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 693-693 deviceOS AppleIPhone3g and AppleIPhoneOS2
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 695-695 deviceOS AppleIPhone4 and AppleIPhoneOS4
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 696-696 deviceOS AppleIPhone4s and AppleIPhoneOS5
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 697-697 deviceOS AppleIPhone5 and AppleIPhoneOS6
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 698-698 deviceOS AppleIPhone5c and AppleIPhoneOS7
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 699-699 deviceOS AppleIPhone5s and AppleIPhoneOS7
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 700-700 deviceOS AppleIPhone6 and AppleIPhoneOS8
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 701-701 deviceOS AppleIPhone6plus and AppleIPhoneOS8
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 705-705 deviceOS AppleIPhone6s and AppleIPhoneOS901
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 706-706 deviceOS AppleIPhone6splus and AppleIPhoneOS901
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 711-711 deviceOS AppleIPhone7 and AppleIPhoneOS10
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 712-712 deviceOS AppleIPhone7plus and AppleIPhoneOS10
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 713-713 deviceOS AppleIPhone8 and AppleIPhoneOS11
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 714-714 deviceOS AppleIPhone8plus and AppleIPhoneOS11
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 715-715 deviceOS AppleIPhoneX and AppleIPhoneOS111
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 721-721 deviceOS AppleIPhoneXR and AppleIPhoneOS12
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 719-719 deviceOS AppleIPhoneXS and AppleIPhoneOS12
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 720-720 deviceOS AppleIPhoneXSmax and AppleIPhoneOS12
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 707-707 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