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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GMail
GMail

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


(creator GMail GoogleCorporation) ComputingBrands.kif 3071-3071
(subclass GMail EmailProgram) ComputingBrands.kif 3065-3065

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