TreeView Knowledge Base Browser - Liability

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Liability

Liability(liability)

account_payable, arrears, financial_obligation, indebtedness, liability, payable, score

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1157-1157
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1156-1156	Liability is a subattribute of financial contract

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34223-34223
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34222-34222
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34221-34221

consequent

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

FinancialOntology.kif 1162-1171

If a financial account is an instance of liability account and an agreement holds account the financial account and the financial account is held by another agreement,
then there exists a cognitive agent such that the cognitive agent the attribute liability and the agreement is a party to agreement of the cognitive agent and the other agreement is a party to agreement of the cognitive agent

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