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 deviceOS の数値 1 引数は OperatingSystemsubclass では %n
(domainSubclass deviceOS 2 Computer) ComputingBrands.kif 728-728 deviceOS の数値 2 引数は Computersubclass では %n
(instance deviceOS BinaryRelation) ComputingBrands.kif 726-726 deviceOS2項関係instance では %n
(subrelation deviceOS canRunOn) ComputingBrands.kif 729-729 deviceOScanRunOnsubrelation では %n

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


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

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