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 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
(subclass AppleMacBookPro Laptop) ComputingBrands.kif 747-747

appearance as argument number 2

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