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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AppleMacOS
AppleMacOS

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


(subclass AppleMacOS OperatingSystem) ComputingBrands.kif 202-202

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


(subclass AppleMacOSSystem1 AppleMacOS) ComputingBrands.kif 203-203
(subclass AppleMacOSSystem2 AppleMacOS) ComputingBrands.kif 204-204
(subclass AppleMacOSSystem3 AppleMacOS) ComputingBrands.kif 205-205
(subclass AppleMacOSSystem4 AppleMacOS) ComputingBrands.kif 206-206
(subclass AppleMacOSSystem5 AppleMacOS) ComputingBrands.kif 208-208
(subclass AppleMacOSSystem6 AppleMacOS) ComputingBrands.kif 215-215
(subclass AppleMacOSSystem7 AppleMacOS) ComputingBrands.kif 221-221
(subclass AppleMacOSSystem8 AppleMacOS) ComputingBrands.kif 231-231
(subclass AppleMacOSSystem9 AppleMacOS) ComputingBrands.kif 232-232
(subclass AppleMacOSX AppleMacOS) ComputingBrands.kif 246-246
(termFormat ChineseLanguage AppleMacOS "Mac OS") ComputingBrands.kif 243-243
(termFormat ChineseTraditionalLanguage AppleMacOS "Mac OS") ComputingBrands.kif 242-242
(termFormat EnglishLanguage AppleMacOS "Mac OS") ComputingBrands.kif 241-241
(termFormat JapaneseLanguage AppleMacOS "Mac OS") ComputingBrands.kif 244-244


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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