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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AppleMacOS

Sigma KEE - AppleMacOS
AppleMacOS

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


(subclass AppleMacOS OperatingSystem) ComputingBrands.kif 209-209

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


(subclass AppleMacOSSystem1 AppleMacOS) ComputingBrands.kif 210-210
(subclass AppleMacOSSystem2 AppleMacOS) ComputingBrands.kif 211-211
(subclass AppleMacOSSystem3 AppleMacOS) ComputingBrands.kif 212-212
(subclass AppleMacOSSystem4 AppleMacOS) ComputingBrands.kif 213-213
(subclass AppleMacOSSystem5 AppleMacOS) ComputingBrands.kif 215-215
(subclass AppleMacOSSystem6 AppleMacOS) ComputingBrands.kif 222-222
(subclass AppleMacOSSystem7 AppleMacOS) ComputingBrands.kif 228-228
(subclass AppleMacOSSystem8 AppleMacOS) ComputingBrands.kif 238-238
(subclass AppleMacOSSystem9 AppleMacOS) ComputingBrands.kif 239-239
(subclass AppleMacOSX AppleMacOS) ComputingBrands.kif 253-253
(termFormat ChineseLanguage AppleMacOS "Mac OS") ComputingBrands.kif 250-250
(termFormat ChineseTraditionalLanguage AppleMacOS "Mac OS") ComputingBrands.kif 249-249
(termFormat EnglishLanguage AppleMacOS "Mac OS") ComputingBrands.kif 248-248
(termFormat JapaneseLanguage AppleMacOS "Mac OS") ComputingBrands.kif 251-251


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