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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AppleIMac
AppleIMac

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


(documentation AppleIMac ChineseLanguage "由 AppleComputerCorporation 开发并且发售的 Computer 。") ComputingBrands.kif 748-748
(documentation AppleIMac ChineseTraditionalLanguage "由 AppleComputerCorporation 開發並且販售的 Computer 。") ComputingBrands.kif 747-747
(documentation AppleIMac EnglishLanguage "Computer developed and sold by AppleComputerCorporation") ComputingBrands.kif 746-746
(subclass AppleIMac AppleComputer) ComputingBrands.kif 745-745

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


(canRunOn AppleMacOSX AppleIMac) ComputingBrands.kif 755-755
(termFormat ChineseLanguage AppleIMac "iMac") ComputingBrands.kif 753-753
(termFormat ChineseTraditionalLanguage AppleIMac "iMac") ComputingBrands.kif 752-752
(termFormat EnglishLanguage AppleIMac "iMac") ComputingBrands.kif 751-751
(termFormat JapaneseLanguage AppleIMac "iMac") ComputingBrands.kif 754-754


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