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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AppleMacBookPro

Sigma KEE - AppleMacBookPro
AppleMacBookPro(Macbook Pro)

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


(documentation AppleMacBookPro ChineseLanguage "由 AppleComputerCorporation 开发并且发售的 Computer 。") ComputingBrands.kif 751-751
(documentation AppleMacBookPro ChineseTraditionalLanguage "由 AppleComputerCorporation 開發並且販售的 Computer 。") ComputingBrands.kif 750-750
(documentation AppleMacBookPro EnglishLanguage "Computer developed and sold by AppleComputerCorporation") ComputingBrands.kif 748-749
(documentation AppleMacBookPro JapaneseLanguage "ComputerAppleComputerCorporationに よって開発そして販売されている。") ComputingBrands.kif 752-753
(subclass AppleMacBookPro AppleComputer) ComputingBrands.kif 746-746 Macbook Pro is a subclass of AppleComputer
(subclass AppleMacBookPro Laptop) ComputingBrands.kif 747-747 Macbook Pro is a subclass of Laptop

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


(canRunOn AppleMacOSX AppleMacBookPro) ComputingBrands.kif 759-759 Macbook Pro is capable of ComputerProcessing AppleMacOSX
(termFormat ChineseLanguage AppleMacBookPro "Macbook Pro") ComputingBrands.kif 757-757
(termFormat ChineseTraditionalLanguage AppleMacBookPro "Macbook Pro") ComputingBrands.kif 756-756
(termFormat EnglishLanguage AppleMacBookPro "Macbook Pro") ComputingBrands.kif 755-755
(termFormat JapaneseLanguage AppleMacBookPro "Macbook Pro") ComputingBrands.kif 758-758


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