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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AppleMacBookAir

Sigma KEE - AppleMacBookAir
AppleMacBookAir(Macbook Air)

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


(documentation AppleMacBookAir ChineseLanguage "由 AppleComputerCorporation 开发并且发售的 Computer 。") ComputingBrands.kif 766-766
(documentation AppleMacBookAir ChineseTraditionalLanguage "由 AppleComputerCorporation 開發並且販售的 Computer 。") ComputingBrands.kif 765-765
(documentation AppleMacBookAir EnglishLanguage "Computer developed and sold by AppleComputerCorporation") ComputingBrands.kif 763-764
(documentation AppleMacBookAir JapaneseLanguage "ComputerAppleComputerCorporationに よって開発そして販売されている。") ComputingBrands.kif 767-768
(subclass AppleMacBookAir AppleComputer) ComputingBrands.kif 761-761 Macbook Air is a subclass of AppleComputer
(subclass AppleMacBookAir Laptop) ComputingBrands.kif 762-762 Macbook Air is a subclass of Laptop

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


(canRunOn AppleMacOSX AppleMacBookAir) ComputingBrands.kif 774-774 Macbook Air is capable of ComputerProcessing AppleMacOSX
(termFormat ChineseLanguage AppleMacBookAir "Macbook Air") ComputingBrands.kif 772-772
(termFormat ChineseTraditionalLanguage AppleMacBookAir "Macbook Air") ComputingBrands.kif 771-771
(termFormat EnglishLanguage AppleMacBookAir "Macbook Air") ComputingBrands.kif 770-770
(termFormat JapaneseLanguage AppleMacBookAir "Macbook Air") ComputingBrands.kif 773-773


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