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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AppleMacOS
AppleMacOS(Mac OS)

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


s__instance(s__OperatingSystem,s__SetOrClass)

s__instance(s__AppleMacOS,s__SetOrClass)

s__subclass(s__AppleMacOS,s__OperatingSystem)

ComputingBrands.kif 203-203 Mac OS is a subclass of operating system

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


s__instance(s__AppleMacOS,s__SetOrClass)

s__subclass(s__AppleMacOSSystem1,s__AppleMacOS)

s__instance(s__AppleMacOSSystem1,s__SetOrClass)

ComputingBrands.kif 204-204 AppleMacOSSystem1 is a subclass of Mac OS
s__subclass(s__AppleMacOSSystem2,s__AppleMacOS)

s__instance(s__AppleMacOS,s__SetOrClass)

s__instance(s__AppleMacOSSystem2,s__SetOrClass)

ComputingBrands.kif 205-205 AppleMacOSSystem2 is a subclass of Mac OS
s__instance(s__AppleMacOS,s__SetOrClass)

s__subclass(s__AppleMacOSSystem3,s__AppleMacOS)

s__instance(s__AppleMacOSSystem3,s__SetOrClass)

ComputingBrands.kif 206-206 AppleMacOSSystem3 is a subclass of Mac OS
s__instance(s__AppleMacOSSystem4,s__SetOrClass)

s__instance(s__AppleMacOS,s__SetOrClass)

s__subclass(s__AppleMacOSSystem4,s__AppleMacOS)

ComputingBrands.kif 207-207 AppleMacOSSystem4 is a subclass of Mac OS
s__instance(s__AppleMacOS,s__SetOrClass)

s__subclass(s__AppleMacOSSystem5,s__AppleMacOS)

s__instance(s__AppleMacOSSystem5,s__SetOrClass)

ComputingBrands.kif 209-209 AppleMacOSSystem5 is a subclass of Mac OS
s__instance(s__AppleMacOS,s__SetOrClass)

s__subclass(s__AppleMacOSSystem6,s__AppleMacOS)

s__instance(s__AppleMacOSSystem6,s__SetOrClass)

ComputingBrands.kif 216-216 AppleMacOSSystem6 is a subclass of Mac OS
s__instance(s__AppleMacOS,s__SetOrClass)

s__instance(s__AppleMacOSSystem7,s__SetOrClass)

s__subclass(s__AppleMacOSSystem7,s__AppleMacOS)

ComputingBrands.kif 222-222 AppleMacOSSystem7 is a subclass of Mac OS
s__instance(s__AppleMacOS,s__SetOrClass)

s__instance(s__AppleMacOSSystem8,s__SetOrClass)

s__subclass(s__AppleMacOSSystem8,s__AppleMacOS)

ComputingBrands.kif 232-232 AppleMacOSSystem8 is a subclass of Mac OS
s__instance(s__AppleMacOSSystem9,s__SetOrClass)

s__instance(s__AppleMacOS,s__SetOrClass)

s__subclass(s__AppleMacOSSystem9,s__AppleMacOS)

ComputingBrands.kif 233-233 AppleMacOSSystem9 is a subclass of Mac OS
s__instance(s__AppleMacOS,s__SetOrClass)

s__instance(s__AppleMacOSX,s__SetOrClass)

s__subclass(s__AppleMacOSX,s__AppleMacOS)

ComputingBrands.kif 247-247 AppleMacOSX is a subclass of Mac OS
s__termFormat(s__ChineseLanguage,s__AppleMacOS,'"Mac OS"')

ComputingBrands.kif 244-244
s__termFormat(s__ChineseTraditionalLanguage,s__AppleMacOS,'"Mac OS"')

ComputingBrands.kif 243-243
s__termFormat(s__EnglishLanguage,s__AppleMacOS,'"Mac OS"')

ComputingBrands.kif 242-242
s__termFormat(s__JapaneseLanguage,s__AppleMacOS,'"Mac OS"')

ComputingBrands.kif 245-245


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