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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AppleComputerCorporation
AppleComputerCorporation

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


(instance AppleComputerCorporation Corporation) ComputingBrands.kif 15-15

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


(creator AirPlay AppleComputerCorporation) ComputingBrands.kif 1836-1836
(creator AirPrint AppleComputerCorporation) ComputingBrands.kif 1878-1878
(creator AppleFairPlay AppleComputerCorporation) ComputingBrands.kif 931-931
(creator AppleMigrationAssistant AppleComputerCorporation) ComputingBrands.kif 964-964
(creator AppleSafari AppleComputerCorporation) ComputingBrands.kif 950-950
(creator AppleSetupAssistant AppleComputerCorporation) ComputingBrands.kif 957-957
(creator CocoaTouch AppleComputerCorporation) ComputingBrands.kif 2408-2408
(creator IBooks AppleComputerCorporation) ComputingBrands.kif 3279-3279
(creator IBookstore AppleComputerCorporation) ComputingBrands.kif 3292-3292
(managedBy IBookstore AppleComputerCorporation) ComputingBrands.kif 3293-3293
(managedBy ICloud AppleComputerCorporation) ComputingBrands.kif 3345-3345
(manufacturer AppleComputer AppleComputerCorporation) ComputingBrands.kif 100-100
(manufacturer AppleSystemManagementController AppleComputerCorporation) ComputingBrands.kif 947-947
(termFormat ChineseLanguage AppleComputerCorporation "苹果") ComputingBrands.kif 22-22
(termFormat ChineseTraditionalLanguage AppleComputerCorporation "蘋果") ComputingBrands.kif 21-21
(termFormat EnglishLanguage AppleComputerCorporation "Apple") ComputingBrands.kif 20-20
(termFormat JapaneseLanguage AppleComputerCorporation "Apple") ComputingBrands.kif 23-23

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


(=>
    (instance ?G GeniusBar)
    (hasPurpose ?G
        (exists (?M ?CS)
            (and
                (employs ?M AppleComputerCorporation)
                (instance ?CS CustomerSupport)
                (agent ?CS ?M)
                (located ?CS ?G)))))
ComputingBrands.kif 3055-3063
(=>
    (subclass ?OS AppleIOS)
    (creator ?OS AppleComputerCorporation))
ComputingBrands.kif 92-94


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