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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AppleMacBookPro
AppleMacBookPro

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


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

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


(canRunOn AppleMacOSX AppleMacBookPro) ComputingBrands.kif 784-784
(termFormat ChineseLanguage AppleMacBookPro "Macbook Pro") ComputingBrands.kif 782-782
(termFormat ChineseTraditionalLanguage AppleMacBookPro "Macbook Pro") ComputingBrands.kif 781-781
(termFormat EnglishLanguage AppleMacBookPro "Macbook Pro") ComputingBrands.kif 780-780
(termFormat JapaneseLanguage AppleMacBookPro "Macbook Pro") ComputingBrands.kif 783-783


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