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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AppleComputerCorporation
AppleComputerCorporation(Apple)

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


(instance AppleComputerCorporation Corporation) ComputingBrands.kif 15-15 Apple is an instance of corporation

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


(creator AirPlay AppleComputerCorporation) ComputingBrands.kif 1838-1838 AirPlay created Apple
(creator AirPrint AppleComputerCorporation) ComputingBrands.kif 1880-1880 AirPrint created Apple
(creator AppleFairPlay AppleComputerCorporation) ComputingBrands.kif 933-933 FairPlay created Apple
(creator AppleMigrationAssistant AppleComputerCorporation) ComputingBrands.kif 966-966 Migration Assistant created Apple
(creator AppleSafari AppleComputerCorporation) ComputingBrands.kif 952-952 Safari created Apple
(creator AppleSetupAssistant AppleComputerCorporation) ComputingBrands.kif 959-959 Setup Assistant created Apple
(creator CocoaTouch AppleComputerCorporation) ComputingBrands.kif 2410-2410 Cocoa Touch created Apple
(creator IBooks AppleComputerCorporation) ComputingBrands.kif 3281-3281 AppleBooks created Apple
(creator IBookstore AppleComputerCorporation) ComputingBrands.kif 3294-3294 IBookstore created Apple
(managedBy IBookstore AppleComputerCorporation) ComputingBrands.kif 3295-3295 IBookstore is managed by Apple
(managedBy ICloud AppleComputerCorporation) ComputingBrands.kif 3347-3347 ICloud is managed by Apple
(manufacturer AppleComputer AppleComputerCorporation) ComputingBrands.kif 100-100 The maker of AppleComputer is Apple
(manufacturer AppleSystemManagementController AppleComputerCorporation) ComputingBrands.kif 949-949 The maker of System Management Controller is Apple
(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 3057-3065
(=>
    (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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners