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


KB Term:  Term intersection
English Word: 

  TextBox

 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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