Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   AppleMacBookPro
|
|
|
| appearance as argument number 1 |
|
|
| (subclass AppleMacBookPro AppleComputer) | ComputingBrands.kif 771-771 | Macbook Pro is a subclass of Apple Computer |
| (subclass AppleMacBookPro Laptop) | ComputingBrands.kif 772-772 | Macbook Pro is a subclass of laptop |
| (documentation AppleMacBookPro EnglishLanguage "Computer developed and sold by AppleComputerCorporation") | ComputingBrands.kif 773-774 | Macbook Pro is a subclass of laptop |
| (documentation AppleMacBookPro ChineseTraditionalLanguage "由 AppleComputerCorporation 開發並且販售的 Computer 。") | ComputingBrands.kif 775-775 | Macbook Pro is a subclass of laptop |
| (documentation AppleMacBookPro ChineseLanguage "由 AppleComputerCorporation 开发并且发售的 Computer 。") | ComputingBrands.kif 776-776 | Macbook Pro is a subclass of laptop |
| (documentation AppleMacBookPro JapaneseLanguage "ComputerはAppleComputerCorporationに よって開発そして販売されている。") | ComputingBrands.kif 777-778 | Macbook Pro is a subclass of laptop |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AppleMacBookPro "Macbook Pro") | ComputingBrands.kif 780-780 | |
| (termFormat ChineseTraditionalLanguage AppleMacBookPro "Macbook Pro") | ComputingBrands.kif 781-781 | |
| (termFormat ChineseLanguage AppleMacBookPro "Macbook Pro") | ComputingBrands.kif 782-782 | |
| (termFormat JapaneseLanguage AppleMacBookPro "Macbook Pro") | ComputingBrands.kif 783-783 | |
| (canRunOn AppleMacOSX AppleMacBookPro) | ComputingBrands.kif 784-784 | Macbook Pro is capable of ComputerProcessing Apple mac oSX |
|