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
(manufacturer AppleComputer AppleComputerCorporation) ComputingBrands.kif 103-103
(subclass AppleComputer Computer) ComputingBrands.kif 101-101

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


(subclass AppleIMac AppleComputer) ComputingBrands.kif 745-745
(subclass AppleIPad AppleComputer) ComputingBrands.kif 613-613
(subclass AppleIPhone AppleComputer) ComputingBrands.kif 628-628
(subclass AppleIPod AppleComputer) ComputingBrands.kif 816-816
(subclass AppleMacBook AppleComputer) ComputingBrands.kif 801-801
(subclass AppleMacBookAir AppleComputer) ComputingBrands.kif 786-786
(subclass AppleMacBookPro AppleComputer) ComputingBrands.kif 771-771
(subclass AppleMacPro AppleComputer) ComputingBrands.kif 757-757
(subclass AppleMacintoshComputer AppleComputer) ComputingBrands.kif 105-105
(termFormat EnglishLanguage AppleComputer "Apple Computer") domainEnglishFormat.kif 64455-64455

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