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 1949-1949
(subclass AppleIMac AppleComputer) ComputingBrands.kif 720-720
(subclass AppleIPad AppleComputer) ComputingBrands.kif 613-613
(subclass AppleIPhone AppleComputer) ComputingBrands.kif 628-628
(subclass AppleIPod AppleComputer) ComputingBrands.kif 791-791
(subclass AppleMacBook AppleComputer) ComputingBrands.kif 776-776
(subclass AppleMacBookAir AppleComputer) ComputingBrands.kif 761-761
(subclass AppleMacBookPro AppleComputer) ComputingBrands.kif 746-746
(subclass AppleMacPro AppleComputer) ComputingBrands.kif 732-732
(subclass AppleMacintoshComputer AppleComputer) ComputingBrands.kif 102-102

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


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


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