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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AppleMacBook
AppleMacBook(Macbook)

appearance as argument number 1
-------------------------


(documentation AppleMacBook ChineseLanguage "由 AppleComputerCorporation 开发并且发售的 Computer。") ComputingBrands.kif 806-806
(documentation AppleMacBook ChineseTraditionalLanguage "由 AppleComputerCorporation 開發並且販售的 Computer。") ComputingBrands.kif 805-805
(documentation AppleMacBook EnglishLanguage "Computer developed and sold by AppleComputerCorporation") ComputingBrands.kif 803-804
(documentation AppleMacBook JapaneseLanguage "ComputerAppleComputerCorporationに よって開発そして販売されている。") ComputingBrands.kif 807-808
(subclass AppleMacBook AppleComputer) ComputingBrands.kif 801-801 Macbook is a subclass of Apple Computer
(subclass AppleMacBook Laptop) ComputingBrands.kif 802-802 Macbook is a subclass of laptop

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


(canRunOn AppleMacOSX AppleMacBook) ComputingBrands.kif 814-814 Macbook is capable of ComputerProcessing Apple mac oSX
(termFormat ChineseLanguage AppleMacBook "Macbook") ComputingBrands.kif 812-812 Macbook is capable of ComputerProcessing Apple mac oSX
(termFormat ChineseTraditionalLanguage AppleMacBook "Macbook") ComputingBrands.kif 811-811 Macbook is capable of ComputerProcessing Apple mac oSX
(termFormat EnglishLanguage AppleMacBook "Macbook") ComputingBrands.kif 810-810 Macbook is capable of ComputerProcessing Apple mac oSX
(termFormat JapaneseLanguage AppleMacBook "Macbook") ComputingBrands.kif 813-813 Macbook is capable of ComputerProcessing Apple mac oSX


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