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
-------------------------


(documentation deviceOS EnglishLanguage "Instances of a Computer are intended to run versions of the given OperatingSystem. Note that this does not cover cases of a device that is hacked or subject to Jailbreaking in order to run a given OS that was not intended for the device.") ComputingBrands.kif 705-707
(domainSubclass deviceOS 1 OperatingSystem) ComputingBrands.kif 702-702 The number 1 argument of deviceOS is a subclass of operating system
(domainSubclass deviceOS 2 Computer) ComputingBrands.kif 703-703 The number 2 argument of deviceOS is a subclass of computer
(instance deviceOS BinaryRelation) ComputingBrands.kif 701-701 deviceOS is an instance of binary relation
(subrelation deviceOS canRunOn) ComputingBrands.kif 704-704 deviceOS is a subrelation of can run on

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


(=>
    (and
        (deviceOS ?C ?OS)
        (instance ?CI ?C)
        (instance ?OSI ?OS)
        (manufacturer ?C ?ORG))
    (desires ?ORG
        (and
            (programRunning ?PROC ?OSI)
            (computerRunning ?PROC ?CI))))
ComputingBrands.kif 709-718

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


(deviceOS AppleIPhone1 AppleIPhoneOS1) ComputingBrands.kif 667-667 deviceOS AppleIPhone1 and IOS 1
(deviceOS AppleIPhone11 AppleIPhoneOS13) ComputingBrands.kif 697-697 deviceOS AppleIPhone11 and IOS 13
(deviceOS AppleIPhone11ProMax AppleIPhoneOS13) ComputingBrands.kif 699-699 deviceOS AppleIPhone11ProMax and IOS 13
(deviceOS AppleIPhone11pro AppleIPhoneOS13) ComputingBrands.kif 698-698 deviceOS AppleIPhone11pro and IOS 13
(deviceOS AppleIPhone3GS AppleIPhoneOS3) ComputingBrands.kif 669-669 deviceOS AppleIPhone3GS and IOS 3
(deviceOS AppleIPhone3g AppleIPhoneOS2) ComputingBrands.kif 668-668 deviceOS AppleIPhone3g and IOS 2
(deviceOS AppleIPhone4 AppleIPhoneOS4) ComputingBrands.kif 670-670 deviceOS AppleIPhone4 and IOS 4
(deviceOS AppleIPhone4s AppleIPhoneOS5) ComputingBrands.kif 671-671 deviceOS AppleIPhone4s and IOS 5
(deviceOS AppleIPhone5 AppleIPhoneOS6) ComputingBrands.kif 672-672 deviceOS AppleIPhone5 and IOS 6
(deviceOS AppleIPhone5c AppleIPhoneOS7) ComputingBrands.kif 673-673 deviceOS AppleIPhone5c and IOS 7
(deviceOS AppleIPhone5s AppleIPhoneOS7) ComputingBrands.kif 674-674 deviceOS AppleIPhone5s and IOS 7
(deviceOS AppleIPhone6 AppleIPhoneOS8) ComputingBrands.kif 675-675 deviceOS AppleIPhone6 and IOS 8
(deviceOS AppleIPhone6plus AppleIPhoneOS8) ComputingBrands.kif 676-676 deviceOS AppleIPhone6plus and IOS 8
(deviceOS AppleIPhone6s AppleIPhoneOS901) ComputingBrands.kif 680-680 deviceOS AppleIPhone6s and AppleIPhoneOS901
(deviceOS AppleIPhone6splus AppleIPhoneOS901) ComputingBrands.kif 681-681 deviceOS AppleIPhone6splus and AppleIPhoneOS901
(deviceOS AppleIPhone7 AppleIPhoneOS10) ComputingBrands.kif 686-686 deviceOS AppleIPhone7 and IOS 10
(deviceOS AppleIPhone7plus AppleIPhoneOS10) ComputingBrands.kif 687-687 deviceOS AppleIPhone7plus and IOS 10
(deviceOS AppleIPhone8 AppleIPhoneOS11) ComputingBrands.kif 688-688 deviceOS AppleIPhone8 and IOS 11
(deviceOS AppleIPhone8plus AppleIPhoneOS11) ComputingBrands.kif 689-689 deviceOS AppleIPhone8plus and IOS 11
(deviceOS AppleIPhoneX AppleIPhoneOS111) ComputingBrands.kif 690-690 deviceOS AppleIPhoneX and AppleIPhoneOS111
(deviceOS AppleIPhoneXR AppleIPhoneOS12) ComputingBrands.kif 696-696 deviceOS AppleIPhoneXR and IOS 12
(deviceOS AppleIPhoneXS AppleIPhoneOS12) ComputingBrands.kif 694-694 deviceOS AppleIPhoneXS and IOS 12
(deviceOS AppleIPhoneXSmax AppleIPhoneOS12) ComputingBrands.kif 695-695 deviceOS AppleIPhoneXSmax and IOS 12
(deviceOS AppleIPhonese AppleIPhoneOS93) ComputingBrands.kif 682-682 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