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 730-732
(domainSubclass deviceOS 1 OperatingSystem) ComputingBrands.kif 727-727
(domainSubclass deviceOS 2 Computer) ComputingBrands.kif 728-728
(instance deviceOS BinaryRelation) ComputingBrands.kif 726-726
(subrelation deviceOS canRunOn) ComputingBrands.kif 729-729

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
(deviceOS AppleIPhone11 AppleIPhoneOS13) ComputingBrands.kif 722-722
(deviceOS AppleIPhone11ProMax AppleIPhoneOS13) ComputingBrands.kif 724-724
(deviceOS AppleIPhone11pro AppleIPhoneOS13) ComputingBrands.kif 723-723
(deviceOS AppleIPhone3GS AppleIPhoneOS3) ComputingBrands.kif 694-694
(deviceOS AppleIPhone3g AppleIPhoneOS2) ComputingBrands.kif 693-693
(deviceOS AppleIPhone4 AppleIPhoneOS4) ComputingBrands.kif 695-695
(deviceOS AppleIPhone4s AppleIPhoneOS5) ComputingBrands.kif 696-696
(deviceOS AppleIPhone5 AppleIPhoneOS6) ComputingBrands.kif 697-697
(deviceOS AppleIPhone5c AppleIPhoneOS7) ComputingBrands.kif 698-698
(deviceOS AppleIPhone5s AppleIPhoneOS7) ComputingBrands.kif 699-699
(deviceOS AppleIPhone6 AppleIPhoneOS8) ComputingBrands.kif 700-700
(deviceOS AppleIPhone6plus AppleIPhoneOS8) ComputingBrands.kif 701-701
(deviceOS AppleIPhone6s AppleIPhoneOS901) ComputingBrands.kif 705-705
(deviceOS AppleIPhone6splus AppleIPhoneOS901) ComputingBrands.kif 706-706
(deviceOS AppleIPhone7 AppleIPhoneOS10) ComputingBrands.kif 711-711
(deviceOS AppleIPhone7plus AppleIPhoneOS10) ComputingBrands.kif 712-712
(deviceOS AppleIPhone8 AppleIPhoneOS11) ComputingBrands.kif 713-713
(deviceOS AppleIPhone8plus AppleIPhoneOS11) ComputingBrands.kif 714-714
(deviceOS AppleIPhoneX AppleIPhoneOS111) ComputingBrands.kif 715-715
(deviceOS AppleIPhoneXR AppleIPhoneOS12) ComputingBrands.kif 721-721
(deviceOS AppleIPhoneXS AppleIPhoneOS12) ComputingBrands.kif 719-719
(deviceOS AppleIPhoneXSmax AppleIPhoneOS12) ComputingBrands.kif 720-720
(deviceOS AppleIPhonese AppleIPhoneOS93) ComputingBrands.kif 707-707


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