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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EmailProgram
EmailProgram(mailer)

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


s__documentation(s__EmailProgram,s__ChineseLanguage,'"ComputerProgram 用来启用 Emailing."')

ComputingBrands.kif 3064-3064
s__documentation(s__EmailProgram,s__ChineseTraditionalLanguage,'"ComputerProgram 用來啟用 Emailing ."')

ComputingBrands.kif 3063-3063
s__documentation(s__EmailProgram,s__EnglishLanguage,'"A ComputerProgram that enables Emailing ."')

ComputingBrands.kif 3062-3062
s__documentation(s__EmailProgram,s__JapaneseLanguage,'"Emailingを有効にするComputerProgram."')

ComputingBrands.kif 3065-3065
s__instance(s__EmailProgram,s__Class)

s__subclass(s__EmailProgram,s__ComputerProgram)

s__instance(s__ComputerProgram,s__Class)

ComputingBrands.kif 3061-3061 Mailer is a subclass of computer program

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


s__subclass(s__GMail,s__EmailProgram)

s__instance(s__EmailProgram,s__Class)

s__instance(s__GMail,s__Class)

ComputingBrands.kif 3053-3053 GMail is a subclass of mailer
s__termFormat(s__ChineseLanguage,s__EmailProgram,'"发信者"')

ComputingBrands.kif 3076-3076
s__termFormat(s__ChineseLanguage,s__EmailProgram,'"邮件程式"')

ComputingBrands.kif 3071-3071
s__termFormat(s__ChineseTraditionalLanguage,s__EmailProgram,'"發信者"')

ComputingBrands.kif 3075-3075
s__termFormat(s__ChineseTraditionalLanguage,s__EmailProgram,'"郵件程式"')

ComputingBrands.kif 3070-3070
s__termFormat(s__EnglishLanguage,s__EmailProgram,'"email program"')

ComputingBrands.kif 3069-3069
s__termFormat(s__EnglishLanguage,s__EmailProgram,'"mailer"')

ComputingBrands.kif 3074-3074
s__termFormat(s__JapaneseLanguage,s__EmailProgram,'"メーラー"')

ComputingBrands.kif 3077-3077
s__termFormat(s__JapaneseLanguage,s__EmailProgram,'"(電子)メールソフト"')

ComputingBrands.kif 3072-3072

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3079-3087


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