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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AppleComputerCorporation

Sigma KEE - AppleComputerCorporation
AppleComputerCorporation(苹果)

appearance as argument number 1
-------------------------


(creator AppleComputerCorporation AirPlay) ComputingBrands.kif 1858-1858 苹果 created 隔空播放
(creator AppleComputerCorporation AirPrint) ComputingBrands.kif 1900-1900 苹果 created 隔空打印
(creator AppleComputerCorporation AppleFairPlay) ComputingBrands.kif 956-956 苹果 created FairPlay
(creator AppleComputerCorporation AppleMigrationAssistant) ComputingBrands.kif 989-989 苹果 created 迁移助理
(creator AppleComputerCorporation AppleSafari) ComputingBrands.kif 975-975 苹果 created Safari
(creator AppleComputerCorporation AppleSetupAssistant) ComputingBrands.kif 982-982 苹果 created 设置助理
(creator AppleComputerCorporation CocoaTouch) ComputingBrands.kif 2433-2433 苹果 created 可可触控
(creator AppleComputerCorporation IBooks) ComputingBrands.kif 3293-3293 苹果 created AppleBooks
(creator AppleComputerCorporation IBookstore) ComputingBrands.kif 3306-3306 苹果 created iBookstore
(instance AppleComputerCorporation Corporation) ComputingBrands.kif 14-14 苹果法人财团instance

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


(managedBy IBookstore AppleComputerCorporation) ComputingBrands.kif 3307-3307 IBookstore 是由 苹果 managed
(managedBy ICloud AppleComputerCorporation) ComputingBrands.kif 3359-3359 ICloud 是由 苹果 managed
(manufacturer AppleComputer AppleComputerCorporation) ComputingBrands.kif 103-103 manufacturer AppleComputer and 苹果
(manufacturer AppleSystemManagementController AppleComputerCorporation) ComputingBrands.kif 972-972 manufacturer 系统管理控制器 and 苹果
(termFormat ChineseLanguage AppleComputerCorporation "苹果") ComputingBrands.kif 21-21
(termFormat ChineseTraditionalLanguage AppleComputerCorporation "蘋果") ComputingBrands.kif 20-20
(termFormat EnglishLanguage AppleComputerCorporation "Apple") ComputingBrands.kif 19-19
(termFormat JapaneseLanguage AppleComputerCorporation "Apple") ComputingBrands.kif 22-22

consequent
-------------------------


(=>
    (and
        (subclass ?OS AppleIOS)
        (instance ?INST ?OS))
    (creator AppleComputerCorporation ?INST))
ComputingBrands.kif 93-97
(=>
    (instance ?G GeniusBar)
    (hasPurpose ?G
        (exists (?M ?CS)
            (and
                (employs ?M AppleComputerCorporation)
                (instance ?CS CustomerSupport)
                (agent ?CS ?M)
                (located ?CS ?G)))))
ComputingBrands.kif 3084-3092


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