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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MacOSXPanther
MacOSXPanther(Panther)

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


(documentation MacOSXPanther ChineseLanguage "Mac OS X Panther – 10.3") ComputingBrands.kif 340-340
(documentation MacOSXPanther ChineseTraditionalLanguage "Mac OS X Panther – 10.3") ComputingBrands.kif 339-339
(documentation MacOSXPanther EnglishLanguage "Mac OS X Panther – 10.3") ComputingBrands.kif 338-338
(documentation MacOSXPanther JapaneseLanguage "Mac OS X Panther – 10.3") ComputingBrands.kif 341-341
(subclass MacOSXPanther AppleMacOSX) ComputingBrands.kif 357-357 Panther is a subclass of Apple mac oSX

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


(termFormat ChineseLanguage MacOSXPanther "Mac OS 10.3") ComputingBrands.kif 345-345
(termFormat ChineseLanguage MacOSXPanther "Mac OS Panther") ComputingBrands.kif 350-350
(termFormat ChineseLanguage MacOSXPanther "Panther") ComputingBrands.kif 355-355
(termFormat ChineseTraditionalLanguage MacOSXPanther "Mac OS 10.3") ComputingBrands.kif 344-344
(termFormat ChineseTraditionalLanguage MacOSXPanther "Mac OS Panther") ComputingBrands.kif 349-349
(termFormat ChineseTraditionalLanguage MacOSXPanther "Panther") ComputingBrands.kif 354-354
(termFormat EnglishLanguage MacOSXPanther "Mac OS 10.3") ComputingBrands.kif 343-343
(termFormat EnglishLanguage MacOSXPanther "Mac OS Panther") ComputingBrands.kif 348-348
(termFormat EnglishLanguage MacOSXPanther "Panther") ComputingBrands.kif 353-353
(termFormat JapaneseLanguage MacOSXPanther "Mac OS 10.3") ComputingBrands.kif 346-346
(termFormat JapaneseLanguage MacOSXPanther "Mac OS Panther") ComputingBrands.kif 351-351
(termFormat JapaneseLanguage MacOSXPanther "Panther") ComputingBrands.kif 356-356


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