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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AppleComputer
AppleComputer

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


(creator AppleComputer AppleAppStore) ComputingBrands.kif 1971-1971 creator AppleComputer and Apple app store
(manufacturer AppleComputer AppleComputerCorporation) ComputingBrands.kif 103-103 manufacturer AppleComputer and Apple
(subclass AppleComputer Computer) ComputingBrands.kif 101-101 AppleComputer は Computer の subclass では %n

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


(subclass AppleIMac AppleComputer) ComputingBrands.kif 745-745 IMac は AppleComputer の subclass では %n
(subclass AppleIPad AppleComputer) ComputingBrands.kif 613-613 IPad は AppleComputer の subclass では %n
(subclass AppleIPhone AppleComputer) ComputingBrands.kif 628-628 IPhone は AppleComputer の subclass では %n
(subclass AppleIPod AppleComputer) ComputingBrands.kif 816-816 IPod は AppleComputer の subclass では %n
(subclass AppleMacBook AppleComputer) ComputingBrands.kif 801-801 Macbook は AppleComputer の subclass では %n
(subclass AppleMacBookAir AppleComputer) ComputingBrands.kif 786-786 Macbook Air は AppleComputer の subclass では %n
(subclass AppleMacBookPro AppleComputer) ComputingBrands.kif 771-771 Macbook Pro は AppleComputer の subclass では %n
(subclass AppleMacPro AppleComputer) ComputingBrands.kif 757-757 Mac Pro は AppleComputer の subclass では %n
(subclass AppleMacintoshComputer AppleComputer) ComputingBrands.kif 105-105 Mac は AppleComputer の subclass では %n
(termFormat EnglishLanguage AppleComputer "Apple Computer") domainEnglishFormat.kif 64457-64457

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


(=>
    (attribute ?C DeviceFirmwareUpdateMode)
    (instance ?C AppleComputer))		 ComputingBrands.kif 2528-2530
(=>
    (instance ?A AppleStore)
    (operator AppleComputer ?A))		 ComputingBrands.kif 2093-2095


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