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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 AppleMacBookPro est une sous-classe de AppleComputer
(subclass AppleMacBookPro Laptop) ComputingBrands.kif 772-772 AppleMacBookPro est une sous-classe de Laptop

appearance as argument number 2

(canRunOn AppleMacOSX AppleMacBookPro) ComputingBrands.kif 784-784 canRunOn AppleMacOSX and AppleMacBookPro
(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 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