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 698-700
(domainSubclass deviceOS 1 OperatingSystem) ComputingBrands.kif 695-695 deviceOS 的 1 数量 是 操作系统subclass
(domainSubclass deviceOS 2 Computer) ComputingBrands.kif 696-696 deviceOS 的 2 数量 是 电脑subclass
(instance deviceOS BinaryRelation) ComputingBrands.kif 694-694 deviceOS二元关系instance
(subrelation deviceOS canRunOn) ComputingBrands.kif 697-697 deviceOS可以操作subrelation

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

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


(deviceOS AppleIPhone1 AppleIPhoneOS1) ComputingBrands.kif 660-660 deviceOS AppleIPhone1 and IOS 1
(deviceOS AppleIPhone11 AppleIPhoneOS13) ComputingBrands.kif 690-690 deviceOS AppleIPhone11 and IOS 13
(deviceOS AppleIPhone11ProMax AppleIPhoneOS13) ComputingBrands.kif 692-692 deviceOS AppleIPhone11ProMax and IOS 13
(deviceOS AppleIPhone11pro AppleIPhoneOS13) ComputingBrands.kif 691-691 deviceOS AppleIPhone11pro and IOS 13
(deviceOS AppleIPhone3GS AppleIPhoneOS3) ComputingBrands.kif 662-662 deviceOS AppleIPhone3GS and IOS 3
(deviceOS AppleIPhone3g AppleIPhoneOS2) ComputingBrands.kif 661-661 deviceOS AppleIPhone3g and IOS 2
(deviceOS AppleIPhone4 AppleIPhoneOS4) ComputingBrands.kif 663-663 deviceOS AppleIPhone4 and IOS 4
(deviceOS AppleIPhone4s AppleIPhoneOS5) ComputingBrands.kif 664-664 deviceOS AppleIPhone4s and IOS 5
(deviceOS AppleIPhone5 AppleIPhoneOS6) ComputingBrands.kif 665-665 deviceOS AppleIPhone5 and IOS 6
(deviceOS AppleIPhone5c AppleIPhoneOS7) ComputingBrands.kif 666-666 deviceOS AppleIPhone5c and IOS 7
(deviceOS AppleIPhone5s AppleIPhoneOS7) ComputingBrands.kif 667-667 deviceOS AppleIPhone5s and IOS 7
(deviceOS AppleIPhone6 AppleIPhoneOS8) ComputingBrands.kif 668-668 deviceOS AppleIPhone6 and IOS 8
(deviceOS AppleIPhone6plus AppleIPhoneOS8) ComputingBrands.kif 669-669 deviceOS AppleIPhone6plus and IOS 8
(deviceOS AppleIPhone6s AppleIPhoneOS901) ComputingBrands.kif 673-673 deviceOS AppleIPhone6s and AppleIPhoneOS901
(deviceOS AppleIPhone6splus AppleIPhoneOS901) ComputingBrands.kif 674-674 deviceOS AppleIPhone6splus and AppleIPhoneOS901
(deviceOS AppleIPhone7 AppleIPhoneOS10) ComputingBrands.kif 679-679 deviceOS AppleIPhone7 and IOS 10
(deviceOS AppleIPhone7plus AppleIPhoneOS10) ComputingBrands.kif 680-680 deviceOS AppleIPhone7plus and IOS 10
(deviceOS AppleIPhone8 AppleIPhoneOS11) ComputingBrands.kif 681-681 deviceOS AppleIPhone8 and IOS 11
(deviceOS AppleIPhone8plus AppleIPhoneOS11) ComputingBrands.kif 682-682 deviceOS AppleIPhone8plus and IOS 11
(deviceOS AppleIPhoneX AppleIPhoneOS111) ComputingBrands.kif 683-683 deviceOS AppleIPhoneX and AppleIPhoneOS111
(deviceOS AppleIPhoneXR AppleIPhoneOS12) ComputingBrands.kif 689-689 deviceOS AppleIPhoneXR and IOS 12
(deviceOS AppleIPhoneXS AppleIPhoneOS12) ComputingBrands.kif 687-687 deviceOS AppleIPhoneXS and IOS 12
(deviceOS AppleIPhoneXSmax AppleIPhoneOS12) ComputingBrands.kif 688-688 deviceOS AppleIPhoneXSmax and IOS 12
(deviceOS AppleIPhonese AppleIPhoneOS93) ComputingBrands.kif 675-675 deviceOS AppleIPhonese and AppleIPhoneOS93


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