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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - AppleMacBookAir

appearance as argument number 1

(documentation AppleMacBookAir ChineseLanguage "由 AppleComputerCorporation 开发并且发售的 Computer 。") ComputingBrands.kif 791-791
(documentation AppleMacBookAir ChineseTraditionalLanguage "由 AppleComputerCorporation 開發並且販售的 Computer 。") ComputingBrands.kif 790-790
(documentation AppleMacBookAir EnglishLanguage "Computer developed and sold by AppleComputerCorporation") ComputingBrands.kif 788-789
(documentation AppleMacBookAir JapaneseLanguage "ComputerAppleComputerCorporationに よって開発そして販売されている。") ComputingBrands.kif 792-793
(subclass AppleMacBookAir AppleComputer) ComputingBrands.kif 786-786 AppleMacBookAir est une sous-classe de AppleComputer
(subclass AppleMacBookAir Laptop) ComputingBrands.kif 787-787 AppleMacBookAir est une sous-classe de Laptop

appearance as argument number 2

(canRunOn AppleMacOSX AppleMacBookAir) ComputingBrands.kif 799-799 canRunOn AppleMacOSX and AppleMacBookAir
(termFormat ChineseLanguage AppleMacBookAir "Macbook Air") ComputingBrands.kif 797-797
(termFormat ChineseTraditionalLanguage AppleMacBookAir "Macbook Air") ComputingBrands.kif 796-796
(termFormat EnglishLanguage AppleMacBookAir "Macbook Air") ComputingBrands.kif 795-795
(termFormat JapaneseLanguage AppleMacBookAir "Macbook Air") ComputingBrands.kif 798-798

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