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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AppleMacintoshComputer

Sigma KEE - AppleMacintoshComputer
AppleMacintoshComputer

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


(subclass AppleMacintoshComputer AppleComputer) ComputingBrands.kif 105-105 AppleMacintoshComputer est une sous-classe de AppleComputer

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 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 is open source software produced by Articulate Software and its partners