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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AppleSystemManagementController

Sigma KEE - AppleSystemManagementController
AppleSystemManagementController

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


(manufacturer AppleSystemManagementController AppleComputerCorporation) ComputingBrands.kif 972-972
(subclass AppleSystemManagementController EngineeringComponent) ComputingBrands.kif 962-962

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


(termFormat ChineseLanguage AppleSystemManagementController "SMC") ComputingBrands.kif 965-965
(termFormat ChineseLanguage AppleSystemManagementController "系统管理控制器") ComputingBrands.kif 970-970
(termFormat ChineseTraditionalLanguage AppleSystemManagementController "SMC") ComputingBrands.kif 964-964
(termFormat ChineseTraditionalLanguage AppleSystemManagementController "系统管理控制器") ComputingBrands.kif 969-969
(termFormat EnglishLanguage AppleSystemManagementController "SMC") ComputingBrands.kif 963-963
(termFormat EnglishLanguage AppleSystemManagementController "System Management Controller") ComputingBrands.kif 968-968
(termFormat JapaneseLanguage AppleSystemManagementController "SMC") ComputingBrands.kif 966-966
(termFormat JapaneseLanguage AppleSystemManagementController "システム管理コントローラ") ComputingBrands.kif 971-971


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