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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FinancialCompany

Sigma KEE - FinancialCompany
FinancialCompany(金融公司)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7154-7155
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7153-7153 子類 金融公司 and Business

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7157-7157 子類 儲蓄和貸款 and 金融公司
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 financialAccount, 2 and 金融公司

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


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


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