Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - AppleMacintoshComputer
AppleMacintoshComputer(Mac)

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


(subclass AppleMacintoshComputer AppleComputer) ComputingBrands.kif 105-105 Mac is a subclass of Apple Computer

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


(termFormat EnglishLanguage AppleMacintoshComputer "Mac") ComputingBrands.kif 106-106
(termFormat ChineseTraditionalLanguage AppleMacintoshComputer "麥金塔計算機") ComputingBrands.kif 107-107
(termFormat ChineseLanguage AppleMacintoshComputer "麦金塔计算机") ComputingBrands.kif 108-108
(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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners