TreeView Knowledge Base Browser - ClosingAnAccount

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

ClosingAnAccount

Sigma KEE - ClosingAnAccount

ClosingAnAccount(closing an account)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 389-389
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9945-9945
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 388-388	Closing an account is a subclass of financial transaction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15210-15210
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15209-15209
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15208-15208

antecedent

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

FinancialOntology.kif 391-401

If a process is an instance of closing an account and an entity is a patient of the process,
then the entity is an instance of financial account holds during immediately before the time of existence of the process and the entity is not an instance of financial account holds during immediately after the time of existence of the process

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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