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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - GMail

appearance as argument number 1

(creator GMail GoogleCorporation) ComputingBrands.kif 3073-3073 GMail created GoogleCorporation
(subclass GMail EmailProgram) ComputingBrands.kif 3067-3067 GMail is a subclass of mailer

appearance as argument number 2

(termFormat ChineseLanguage GMail "GMail") ComputingBrands.kif 3070-3070
(termFormat ChineseTraditionalLanguage GMail "GMail") ComputingBrands.kif 3069-3069
(termFormat EnglishLanguage GMail "GMail") ComputingBrands.kif 3068-3068
(termFormat JapaneseLanguage GMail "GMail") ComputingBrands.kif 3071-3071

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners