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 3071-3071 GMail created GoogleCorporation
(subclass GMail EmailProgram) ComputingBrands.kif 3065-3065 GMail is a subclass of mailer

appearance as argument number 2

(termFormat ChineseLanguage GMail "GMail") ComputingBrands.kif 3068-3068
(termFormat ChineseTraditionalLanguage GMail "GMail") ComputingBrands.kif 3067-3067
(termFormat EnglishLanguage GMail "GMail") ComputingBrands.kif 3066-3066
(termFormat JapaneseLanguage GMail "GMail") ComputingBrands.kif 3069-3069

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