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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FinancialCompany

Sigma KEE - FinancialCompany
FinancialCompany(financial company)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7127-7128
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7126-7126 Financial company is a subclass of business

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7130-7130 Savings and loan is a subclass of financial company
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23750-23750
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23749-23749
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23748-23748

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7192-7197


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