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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AppleComputerCorporation

Sigma KEE - AppleComputerCorporation
AppleComputerCorporation(Apple)

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


(creator AppleComputerCorporation AirPlay) ComputingBrands.kif 1826-1826 Apple created AirPlay
(creator AppleComputerCorporation AirPrint) ComputingBrands.kif 1868-1868 Apple created AirPrint
(creator AppleComputerCorporation AppleFairPlay) ComputingBrands.kif 924-924 Apple created FairPlay
(creator AppleComputerCorporation AppleMigrationAssistant) ComputingBrands.kif 957-957 Apple created Migration Assistant
(creator AppleComputerCorporation AppleSafari) ComputingBrands.kif 943-943 Apple created Safari
(creator AppleComputerCorporation AppleSetupAssistant) ComputingBrands.kif 950-950 Apple created Setup Assistant
(creator AppleComputerCorporation CocoaTouch) ComputingBrands.kif 2401-2401 Apple created Cocoa Touch
(creator AppleComputerCorporation IBooks) ComputingBrands.kif 3259-3259 Apple created AppleBooks
(creator AppleComputerCorporation IBookstore) ComputingBrands.kif 3272-3272 Apple created iBookstore
(instance AppleComputerCorporation Corporation) ComputingBrands.kif 14-14 Apple is an instance of corporation

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


(managedBy IBookstore AppleComputerCorporation) ComputingBrands.kif 3273-3273 IBookstore is managed by Apple
(managedBy ICloud AppleComputerCorporation) ComputingBrands.kif 3325-3325 ICloud is managed by Apple
(manufacturer AppleComputer AppleComputerCorporation) ComputingBrands.kif 96-96 The maker of AppleComputer is Apple
(manufacturer AppleSystemManagementController AppleComputerCorporation) ComputingBrands.kif 940-940 The maker of System Management Controller is Apple
(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
-------------------------


(=>
    (instance ?G GeniusBar)
    (hasPurpose ?G
        (exists (?M ?CS)
            (and
                (employs ?M AppleComputerCorporation)
                (instance ?CS CustomerSupport)
                (agent ?CS ?M)
                (located ?CS ?G)))))
ComputingBrands.kif 3052-3060
(=>
    (subclass ?OS AppleIOS)
    (creator AppleComputerCorporation ?OS))
ComputingBrands.kif 88-90


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