TreeView Knowledge Base Browser

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

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

deviceOS オブジェクト and Computer オブジェクトI はオブジェクトの instance では %n ComputerI は Computer の instance では %n manufacturer オブジェクト and 認識エージェント
認識エージェントが programRunning エンティティー and ComputerI computerRunning エンティティー and オブジェクトI を desires %n{ない}

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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: