EmailProgram - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3105-3105
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3104-3104
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3103-3103
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3106-3106
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3102-3102	Mailer is a subclass of computer program

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3094-3094	GMail is a subclass of mailer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3117-3117	GMail is a subclass of mailer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3112-3112	GMail is a subclass of mailer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3116-3116	GMail is a subclass of mailer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3111-3111	GMail is a subclass of mailer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3110-3110	GMail is a subclass of mailer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3115-3115	GMail is a subclass of mailer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3118-3118	GMail is a subclass of mailer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3113-3113	GMail is a subclass of mailer

antecedent

No TPTP formula. May not be expressible in strict first order.

ComputingBrands.kif 3120-3128

If a physical is an instance of mailer,
then the physical has the purpose there exist an entity and another entity such that the entity is an instance of computer process and the other entity is an instance of emailing and the entity is an instrument for the other entity and the physical is a program running of the entity

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