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 725-725
(documentation AppleIMac ChineseTraditionalLanguage "由 AppleComputerCorporation 開發並且販售的 Computer 。") ComputingBrands.kif 724-724
(documentation AppleIMac EnglishLanguage "Computer developed and sold by AppleComputerCorporation") ComputingBrands.kif 723-723
(subclass AppleIMac AppleComputer) ComputingBrands.kif 722-722 IMac is a subclass of AppleComputer

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners