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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BerkeleySoftwareDistribution
BerkeleySoftwareDistribution

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


(documentation BerkeleySoftwareDistribution EnglishLanguage "Berkeley Software Distribution (UNIX), a version of Unix distributed by the University of California at Berkeley. Widely used as a standard for early versions of Unix and Unix software libraries.") QoSontology.kif 2166-2168
(subclass BerkeleySoftwareDistribution OperatingSystem) QoSontology.kif 2165-2165

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


(termFormat ChineseLanguage BerkeleySoftwareDistribution "伯克利软件分销") domainEnglishFormat.kif 10817-10817
(termFormat ChineseTraditionalLanguage BerkeleySoftwareDistribution "伯克利軟件分銷") domainEnglishFormat.kif 10816-10816
(termFormat EnglishLanguage BerkeleySoftwareDistribution "berkeley software distribution") domainEnglishFormat.kif 10815-10815


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