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 209-209 AppleMacOS ist eine teilkategorie von OperatingSystem

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


(subclass AppleMacOSSystem1 AppleMacOS) ComputingBrands.kif 210-210 AppleMacOSSystem1 ist eine teilkategorie von AppleMacOS
(subclass AppleMacOSSystem2 AppleMacOS) ComputingBrands.kif 211-211 AppleMacOSSystem2 ist eine teilkategorie von AppleMacOS
(subclass AppleMacOSSystem3 AppleMacOS) ComputingBrands.kif 212-212 AppleMacOSSystem3 ist eine teilkategorie von AppleMacOS
(subclass AppleMacOSSystem4 AppleMacOS) ComputingBrands.kif 213-213 AppleMacOSSystem4 ist eine teilkategorie von AppleMacOS
(subclass AppleMacOSSystem5 AppleMacOS) ComputingBrands.kif 215-215 AppleMacOSSystem5 ist eine teilkategorie von AppleMacOS
(subclass AppleMacOSSystem6 AppleMacOS) ComputingBrands.kif 222-222 AppleMacOSSystem6 ist eine teilkategorie von AppleMacOS
(subclass AppleMacOSSystem7 AppleMacOS) ComputingBrands.kif 228-228 AppleMacOSSystem7 ist eine teilkategorie von AppleMacOS
(subclass AppleMacOSSystem8 AppleMacOS) ComputingBrands.kif 238-238 AppleMacOSSystem8 ist eine teilkategorie von AppleMacOS
(subclass AppleMacOSSystem9 AppleMacOS) ComputingBrands.kif 239-239 AppleMacOSSystem9 ist eine teilkategorie von AppleMacOS
(subclass AppleMacOSX AppleMacOS) ComputingBrands.kif 253-253 AppleMacOSX ist eine teilkategorie von AppleMacOS
(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 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