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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AppleMacOS

 Sigma KEE - AppleMacOS
AppleMacOS(Mac OS)

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


(subclass AppleMacOS OperatingSystem) ComputingBrands.kif 209-209 子類 Mac OS and 操作系統

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


(subclass AppleMacOSSystem1 AppleMacOS) ComputingBrands.kif 210-210 子類 AppleMacOSSystem1 and Mac OS
(subclass AppleMacOSSystem2 AppleMacOS) ComputingBrands.kif 211-211 子類 AppleMacOSSystem2 and Mac OS
(subclass AppleMacOSSystem3 AppleMacOS) ComputingBrands.kif 212-212 子類 AppleMacOSSystem3 and Mac OS
(subclass AppleMacOSSystem4 AppleMacOS) ComputingBrands.kif 213-213 子類 AppleMacOSSystem4 and Mac OS
(subclass AppleMacOSSystem5 AppleMacOS) ComputingBrands.kif 215-215 子類 AppleMacOSSystem5 and Mac OS
(subclass AppleMacOSSystem6 AppleMacOS) ComputingBrands.kif 222-222 子類 AppleMacOSSystem6 and Mac OS
(subclass AppleMacOSSystem7 AppleMacOS) ComputingBrands.kif 228-228 子類 AppleMacOSSystem7 and Mac OS
(subclass AppleMacOSSystem8 AppleMacOS) ComputingBrands.kif 238-238 子類 AppleMacOSSystem8 and Mac OS
(subclass AppleMacOSSystem9 AppleMacOS) ComputingBrands.kif 239-239 子類 AppleMacOSSystem9 and Mac OS
(subclass AppleMacOSX AppleMacOS) ComputingBrands.kif 253-253 子類 AppleMacOSX and Mac OS
(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