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
-------------------------


(manufacturer AppleComputer AppleComputerCorporation) ComputingBrands.kif 100-100 The maker of AppleComputer is Apple
(subclass AppleComputer Computer) ComputingBrands.kif 98-98 AppleComputer is a subclass of computer

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


(creator AppleAppStore AppleComputer) ComputingBrands.kif 1951-1951 Apple app store created AppleComputer
(subclass AppleIMac AppleComputer) ComputingBrands.kif 722-722 IMac is a subclass of AppleComputer
(subclass AppleIPad AppleComputer) ComputingBrands.kif 615-615 IPad is a subclass of AppleComputer
(subclass AppleIPhone AppleComputer) ComputingBrands.kif 630-630 IPhone is a subclass of AppleComputer
(subclass AppleIPod AppleComputer) ComputingBrands.kif 793-793 IPod is a subclass of AppleComputer
(subclass AppleMacBook AppleComputer) ComputingBrands.kif 778-778 Macbook is a subclass of AppleComputer
(subclass AppleMacBookAir AppleComputer) ComputingBrands.kif 763-763 Macbook Air is a subclass of AppleComputer
(subclass AppleMacBookPro AppleComputer) ComputingBrands.kif 748-748 Macbook Pro is a subclass of AppleComputer
(subclass AppleMacPro AppleComputer) ComputingBrands.kif 734-734 Mac Pro is a subclass of AppleComputer
(subclass AppleMacintoshComputer AppleComputer) ComputingBrands.kif 102-102 Mac is a subclass of AppleComputer

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


(=>
    (attribute ?C DeviceFirmwareUpdateMode)
    (instance ?C AppleComputer))
ComputingBrands.kif 2497-2499
(=>
    (instance ?A AppleStore)
    (operator AppleComputer ?A))
ComputingBrands.kif 2073-2075


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