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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - AppleMacBook

appearance as argument number 1

(documentation AppleMacBook ChineseLanguage "由 AppleComputerCorporation 开发并且发售的 Computer。") ComputingBrands.kif 775-775
(documentation AppleMacBook ChineseTraditionalLanguage "由 AppleComputerCorporation 開發並且販售的 Computer。") ComputingBrands.kif 774-774
(documentation AppleMacBook EnglishLanguage "Computer developed and sold by AppleComputerCorporation") ComputingBrands.kif 772-773
(documentation AppleMacBook JapaneseLanguage "ComputerAppleComputerCorporationに よって開発そして販売されている。") ComputingBrands.kif 776-777
(subclass AppleMacBook AppleComputer) ComputingBrands.kif 770-770
(subclass AppleMacBook Laptop) ComputingBrands.kif 771-771

appearance as argument number 2

(canRunOn AppleMacOSX AppleMacBook) ComputingBrands.kif 783-783
(termFormat ChineseLanguage AppleMacBook "Macbook") ComputingBrands.kif 781-781
(termFormat ChineseTraditionalLanguage AppleMacBook "Macbook") ComputingBrands.kif 780-780
(termFormat EnglishLanguage AppleMacBook "Macbook") ComputingBrands.kif 779-779
(termFormat JapaneseLanguage AppleMacBook "Macbook") ComputingBrands.kif 782-782

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