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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AppleIMac
AppleIMac(iMac)

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


(documentation AppleIMac ChineseLanguage "由 AppleComputerCorporation 开发并且发售的 Computer 。") ComputingBrands.kif 723-723
(documentation AppleIMac ChineseTraditionalLanguage "由 AppleComputerCorporation 開發並且販售的 Computer 。") ComputingBrands.kif 722-722
(documentation AppleIMac EnglishLanguage "Computer developed and sold by AppleComputerCorporation") ComputingBrands.kif 721-721
(subclass AppleIMac AppleComputer) ComputingBrands.kif 720-720 IMac is a subclass of AppleComputer

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


(canRunOn AppleMacOSX AppleIMac) ComputingBrands.kif 730-730 canRunOn AppleMacOSX and iMac
(termFormat ChineseLanguage AppleIMac "iMac") ComputingBrands.kif 728-728
(termFormat ChineseTraditionalLanguage AppleIMac "iMac") ComputingBrands.kif 727-727
(termFormat EnglishLanguage AppleIMac "iMac") ComputingBrands.kif 726-726
(termFormat JapaneseLanguage AppleIMac "iMac") ComputingBrands.kif 729-729


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