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 3064-3064
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3063-3063
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3062-3062
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3065-3065
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3061-3061 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 3053-3053 GMail is a subclass of mailer
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3076-3076
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3071-3071
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3075-3075
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3070-3070
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3069-3069
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3074-3074
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3077-3077
No TPTP formula. May not be expressible in strict first order. 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