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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Solaris
Solaris(solaris)

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


(documentation Solaris EnglishLanguage "The class of all instances of Solaris , a unix-based operating system for Sun SPARC computers. It includes the Open Look and Motif graphical user interfaces, OpenWindows (the Sun version of X Windows), DOS and Windows Emulation, and ONC networking.") QoSontology.kif 1009-1012
(subclass Solaris OperatingSystem) QoSontology.kif 1008-1008 Solaris is a subclass of operating system

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


(termFormat ChineseLanguage Solaris "solaris") domainEnglishFormat.kif 53874-53874
(termFormat ChineseTraditionalLanguage Solaris "solaris") domainEnglishFormat.kif 53873-53873
(termFormat EnglishLanguage Solaris "solaris") domainEnglishFormat.kif 53872-53872


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