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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - AppleComputer

appearance as argument number 1

(creator AppleComputer AppleAppStore) ComputingBrands.kif 1971-1971 AppleComputer created 蘋果app 商店
(manufacturer AppleComputer AppleComputerCorporation) ComputingBrands.kif 103-103 manufacturer AppleComputer and 蘋果
(subclass AppleComputer Computer) ComputingBrands.kif 101-101 子類 AppleComputer and 電腦

appearance as argument number 2

(subclass AppleIMac AppleComputer) ComputingBrands.kif 745-745 子類 iMac and AppleComputer
(subclass AppleIPad AppleComputer) ComputingBrands.kif 613-613 子類 iPad and AppleComputer
(subclass AppleIPhone AppleComputer) ComputingBrands.kif 628-628 子類 iPhone and AppleComputer
(subclass AppleIPod AppleComputer) ComputingBrands.kif 816-816 子類 iPod and AppleComputer
(subclass AppleMacBook AppleComputer) ComputingBrands.kif 801-801 子類 Macbook and AppleComputer
(subclass AppleMacBookAir AppleComputer) ComputingBrands.kif 786-786 子類 Macbook Air and AppleComputer
(subclass AppleMacBookPro AppleComputer) ComputingBrands.kif 771-771 子類 Macbook Pro and AppleComputer
(subclass AppleMacPro AppleComputer) ComputingBrands.kif 757-757 子類 Mac Pro and AppleComputer
(subclass AppleMacintoshComputer AppleComputer) ComputingBrands.kif 105-105 子類 麥金塔計算機 and AppleComputer
(termFormat EnglishLanguage AppleComputer "Apple Computer") domainEnglishFormat.kif 64455-64455


    (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