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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AppleMacintoshComputer
AppleMacintoshComputer

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


(subclass AppleMacintoshComputer AppleComputer) ComputingBrands.kif 105-105

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


(termFormat ChineseLanguage AppleMacintoshComputer "麦金塔计算机") ComputingBrands.kif 108-108
(termFormat ChineseTraditionalLanguage AppleMacintoshComputer "麥金塔計算機") ComputingBrands.kif 107-107
(termFormat EnglishLanguage AppleMacintoshComputer "Mac") ComputingBrands.kif 106-106
(termFormat JapaneseLanguage AppleMacintoshComputer "Mac") ComputingBrands.kif 109-109


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