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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ProcessingACheck
ProcessingACheck(processingA check)

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 365-366
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9585-9585
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8670-8670
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 364-364 ProcessingA check is a subclass of authorization of transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 363-363 ProcessingA check is a subclass of controlling an account

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47498-47498
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47497-47497
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47496-47496

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 137-146
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 155-166
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 104-118
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 120-135
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 375-380
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 368-373


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