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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Withdrawal
Withdrawal(withdrawal)
bank_withdrawal

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 439-440
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9860-9860
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9861-9861
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8809-8809
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 438-438 Withdrawal is a subclass of financial transaction

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 419-419 Deposit is disjoint from withdrawal
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63233-63233
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63232-63232
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63231-63231

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1767-1777 A process is an instance of withdrawal and a financial account is an instance of financial account and the process originates at the currency of the financial account and there doesn't exist another process such that the other process is an instance of penalty and the other process ends up at the currency of the financial account and the process causes the other process if and only if the liqudity of the financial account is high liquidity
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1069-1078
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1041-1053
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 449-457
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 442-447

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 104-118


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