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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AppleMacPro
AppleMacPro(Mac Pro)

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


(documentation AppleMacPro ChineseLanguage "由 AppleComputerCorporation 开发并且发售的 Computer 。") ComputingBrands.kif 761-761
(documentation AppleMacPro ChineseTraditionalLanguage "由 AppleComputerCorporation 開發並且販售的 Computer 。") ComputingBrands.kif 760-760
(documentation AppleMacPro EnglishLanguage "Computer developed and sold by AppleComputerCorporation") ComputingBrands.kif 758-759
(documentation AppleMacPro JapaneseLanguage "ComputerAppleComputerCorporationによって 開発そして販売されている。") ComputingBrands.kif 762-763
(subclass AppleMacPro AppleComputer) ComputingBrands.kif 757-757 Mac Pro is a subclass of Apple Computer

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


(canRunOn AppleMacOSX AppleMacPro) ComputingBrands.kif 769-769 Mac Pro is capable of ComputerProcessing Apple mac oSX
(termFormat ChineseLanguage AppleMacPro "Mac Pro") ComputingBrands.kif 767-767 Mac Pro is capable of ComputerProcessing Apple mac oSX
(termFormat ChineseTraditionalLanguage AppleMacPro "Mac Pro") ComputingBrands.kif 766-766 Mac Pro is capable of ComputerProcessing Apple mac oSX
(termFormat EnglishLanguage AppleMacPro "Mac Pro") ComputingBrands.kif 765-765 Mac Pro is capable of ComputerProcessing Apple mac oSX
(termFormat JapaneseLanguage AppleMacPro "Mac Pro") ComputingBrands.kif 768-768 Mac Pro is capable of ComputerProcessing Apple mac oSX


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