Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  AppleComputerCorporation

 Sigma KEE - AppleComputerCorporation
AppleComputerCorporation(Apple)

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


(instance AppleComputerCorporation Corporation) ComputingBrands.kif 14-14 Apple is an instance of corporation
(creator AppleComputerCorporation AppleFairPlay) ComputingBrands.kif 956-956 Apple created FairPlay
(creator AppleComputerCorporation AppleSafari) ComputingBrands.kif 975-975 Apple created Safari
(creator AppleComputerCorporation AppleSetupAssistant) ComputingBrands.kif 982-982 Apple created Setup Assistant
(creator AppleComputerCorporation AppleMigrationAssistant) ComputingBrands.kif 989-989 Apple created Migration Assistant
(creator AppleComputerCorporation AirPlay) ComputingBrands.kif 1858-1858 Apple created AirPlay
(creator AppleComputerCorporation AirPrint) ComputingBrands.kif 1900-1900 Apple created AirPrint
(creator AppleComputerCorporation AppleAppStore) ComputingBrands.kif 1971-1971 Apple created Apple app store
(creator AppleComputerCorporation CocoaTouch) ComputingBrands.kif 2433-2433 Apple created Cocoa Touch
(creator AppleComputerCorporation IBooks) ComputingBrands.kif 3200-3200 Apple created AppleBooks
(creator AppleComputerCorporation IBookstore) ComputingBrands.kif 3213-3213 Apple created iBookstore

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


(termFormat EnglishLanguage AppleComputerCorporation "Apple") ComputingBrands.kif 19-19
(termFormat ChineseTraditionalLanguage AppleComputerCorporation "蘋果") ComputingBrands.kif 20-20
(termFormat ChineseLanguage AppleComputerCorporation "苹果") ComputingBrands.kif 21-21
(termFormat JapaneseLanguage AppleComputerCorporation "Apple") ComputingBrands.kif 22-22
(manufacturer AppleComputer AppleComputerCorporation) ComputingBrands.kif 103-103 The maker of Apple Computer is Apple
(manufacturer AppleSystemManagementController AppleComputerCorporation) ComputingBrands.kif 972-972 The maker of System Management Controller is Apple
(managedBy IBookstore AppleComputerCorporation) ComputingBrands.kif 3214-3214 IBookstore is managed by Apple
(managedBy ICloud AppleComputerCorporation) ComputingBrands.kif 3266-3266 I_cloud is managed by Apple

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


(=>
    (and
        (subclass ?OS AppleIOS)
        (instance ?INST ?OS))
    (creator AppleComputerCorporation ?INST))		 ComputingBrands.kif 93-97 If X is a subclass of IOS and Y is an instance of X, then Apple created Y
(=>
    (instance ?A AppleStore)
    (operator AppleComputerCorporation ?A))		 ComputingBrands.kif 2093-2095 If X is an instance of Apple Store, then X is an operator of Apple
(=>
    (instance ?G GeniusBar)
    (hasPurpose ?G
        (exists (?M ?CS)
            (and
                (employs ?M AppleComputerCorporation)
                (instance ?CS CustomerSupport)
                (agent ?CS ?M)
                (located ?CS ?G)))))		 ComputingBrands.kif 2995-3003 If X is an instance of Genius Bar, then X has the purpose there exist Y, Z such that Y employs Apple, Z is an instance of customer support, Y is an agent of Z, and Z is located at X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners