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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AppleMacBook

Sigma KEE - AppleMacBook
AppleMacBook(Macbook)

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


(documentation AppleMacBook ChineseLanguage "由 AppleComputerCorporation 开发并且发售的 Computer。") ComputingBrands.kif 781-781
(documentation AppleMacBook ChineseTraditionalLanguage "由 AppleComputerCorporation 開發並且販售的 Computer。") ComputingBrands.kif 780-780
(documentation AppleMacBook EnglishLanguage "Computer developed and sold by AppleComputerCorporation") ComputingBrands.kif 778-779
(documentation AppleMacBook JapaneseLanguage "ComputerAppleComputerCorporationに よって開発そして販売されている。") ComputingBrands.kif 782-783
(subclass AppleMacBook AppleComputer) ComputingBrands.kif 776-776 Macbook is a subclass of AppleComputer
(subclass AppleMacBook Laptop) ComputingBrands.kif 777-777 Macbook is a subclass of Laptop

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


(canRunOn AppleMacOSX AppleMacBook) ComputingBrands.kif 789-789 canRunOn AppleMacOSX and Macbook
(termFormat ChineseLanguage AppleMacBook "Macbook") ComputingBrands.kif 787-787
(termFormat ChineseTraditionalLanguage AppleMacBook "Macbook") ComputingBrands.kif 786-786
(termFormat EnglishLanguage AppleMacBook "Macbook") ComputingBrands.kif 785-785
(termFormat JapaneseLanguage AppleMacBook "Macbook") ComputingBrands.kif 788-788


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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