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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FinancialAsset

Sigma KEE - FinancialAsset
FinancialAsset(financial asset)

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 42-45
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 41-41 Financial asset is a subclass of physical

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1316-1316 Collateral is a subclass of financial asset
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1780-1780 Investment is a subclass of financial asset
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1354-1354 Real estate is a subclass of financial asset
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23733-23733
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23732-23732
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23731-23731

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2324-2324 The number 1 argument of account is an instance of financial asset

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 47-50


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