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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ProcessingACheck
ProcessingACheck(处理检查)

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 9567-9567
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8665-8665
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 364-364 处理检查交易授权subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 363-363 处理检查控制一个帐户subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47516-47516
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47515-47515
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47514-47514

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