| appearance as argument number 1 |
|
| (subclass GMail EmailProgram) | ComputingBrands.kif 3094-3094 | GMail is a subclass of EmailProgram |
| appearance as argument number 2 |
|
|
| (creator GoogleCorporation GMail) | ComputingBrands.kif 3100-3100 | creator GoogleCorporation and GMail |
| (termFormat ChineseLanguage GMail "GMail") | ComputingBrands.kif 3097-3097 | creator GoogleCorporation and GMail |
| (termFormat ChineseTraditionalLanguage GMail "GMail") | ComputingBrands.kif 3096-3096 | creator GoogleCorporation and GMail |
| (termFormat EnglishLanguage GMail "GMail") | ComputingBrands.kif 3095-3095 | creator GoogleCorporation and GMail |
| (termFormat JapaneseLanguage GMail "GMail") | ComputingBrands.kif 3098-3098 | creator GoogleCorporation and GMail |
|
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