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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 730-732
(domainSubclass deviceOS 1 OperatingSystem) ComputingBrands.kif 727-727 The number 1 argument of device OS is a subclass of operating system
(domainSubclass deviceOS 2 Computer) ComputingBrands.kif 728-728 The number 2 argument of device OS is a subclass of computer
(instance deviceOS BinaryRelation) ComputingBrands.kif 726-726 device OS is an instance of binary relation
(subrelation deviceOS canRunOn) ComputingBrands.kif 729-729 device OS is a subrelation of can run on

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


(termFormat EnglishLanguage deviceOS "device OS") domainEnglishFormat.kif 65809-65809

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

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


(deviceOS AppleIPhone1 AppleIPhoneOS1) ComputingBrands.kif 692-692 device OS Apple iPhone and IOS 1
(deviceOS AppleIPhone11 AppleIPhoneOS13) ComputingBrands.kif 722-722 device OS Apple iPhone and IOS 13
(deviceOS AppleIPhone11ProMax AppleIPhoneOS13) ComputingBrands.kif 724-724 device OS Apple iPhone and IOS 13
(deviceOS AppleIPhone11pro AppleIPhoneOS13) ComputingBrands.kif 723-723 device OS Apple iPhone and IOS 13
(deviceOS AppleIPhone3GS AppleIPhoneOS3) ComputingBrands.kif 694-694 device OS Apple iPhone and IOS 3
(deviceOS AppleIPhone3g AppleIPhoneOS2) ComputingBrands.kif 693-693 device OS Apple iPhone and IOS 2
(deviceOS AppleIPhone4 AppleIPhoneOS4) ComputingBrands.kif 695-695 device OS Apple iPhone and IOS 4
(deviceOS AppleIPhone4s AppleIPhoneOS5) ComputingBrands.kif 696-696 device OS Apple iPhone and IOS 5
(deviceOS AppleIPhone5 AppleIPhoneOS6) ComputingBrands.kif 697-697 device OS Apple iPhone and IOS 6
(deviceOS AppleIPhone5c AppleIPhoneOS7) ComputingBrands.kif 698-698 device OS Apple iPhone and IOS 7
(deviceOS AppleIPhone5s AppleIPhoneOS7) ComputingBrands.kif 699-699 device OS Apple iPhone and IOS 7
(deviceOS AppleIPhone6 AppleIPhoneOS8) ComputingBrands.kif 700-700 device OS Apple iPhone and IOS 8
(deviceOS AppleIPhone6plus AppleIPhoneOS8) ComputingBrands.kif 701-701 device OS Apple iPhone and IOS 8
(deviceOS AppleIPhone6s AppleIPhoneOS901) ComputingBrands.kif 705-705 device OS Apple iPhone and Apple i phone oS901
(deviceOS AppleIPhone6splus AppleIPhoneOS901) ComputingBrands.kif 706-706 device OS Apple iPhone and Apple i phone oS901
(deviceOS AppleIPhone7 AppleIPhoneOS10) ComputingBrands.kif 711-711 device OS Apple iPhone and IOS 10
(deviceOS AppleIPhone7plus AppleIPhoneOS10) ComputingBrands.kif 712-712 device OS Apple iPhone and IOS 10
(deviceOS AppleIPhone8 AppleIPhoneOS11) ComputingBrands.kif 713-713 device OS Apple iPhone and IOS 11
(deviceOS AppleIPhone8plus AppleIPhoneOS11) ComputingBrands.kif 714-714 device OS Apple iPhone and IOS 11
(deviceOS AppleIPhoneX AppleIPhoneOS111) ComputingBrands.kif 715-715 device OS Apple iPhone and Apple i phone oS111
(deviceOS AppleIPhoneXR AppleIPhoneOS12) ComputingBrands.kif 721-721 device OS Apple iPhone and IOS 12
(deviceOS AppleIPhoneXS AppleIPhoneOS12) ComputingBrands.kif 719-719 device OS Apple iPhone and IOS 12
(deviceOS AppleIPhoneXSmax AppleIPhoneOS12) ComputingBrands.kif 720-720 device OS Apple iPhone and IOS 12
(deviceOS AppleIPhonese AppleIPhoneOS93) ComputingBrands.kif 707-707 device OS Apple iPhone and Apple i phone oS93


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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