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
(subclass AppleComputer Computer) ComputingBrands.kif 98-98

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


(creator AppleAppStore AppleComputer) ComputingBrands.kif 1951-1951
(subclass AppleIMac AppleComputer) ComputingBrands.kif 722-722
(subclass AppleIPad AppleComputer) ComputingBrands.kif 615-615
(subclass AppleIPhone AppleComputer) ComputingBrands.kif 630-630
(subclass AppleIPod AppleComputer) ComputingBrands.kif 793-793
(subclass AppleMacBook AppleComputer) ComputingBrands.kif 778-778
(subclass AppleMacBookAir AppleComputer) ComputingBrands.kif 763-763
(subclass AppleMacBookPro AppleComputer) ComputingBrands.kif 748-748
(subclass AppleMacPro AppleComputer) ComputingBrands.kif 734-734
(subclass AppleMacintoshComputer AppleComputer) ComputingBrands.kif 102-102

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