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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FinanceAndInsurance

Sigma KEE - FinanceAndInsurance
FinanceAndInsurance(金融和保險)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9181-9183
No TPTP formula. May not be expressible in strict first order. naics.kif 9179-9179 金融和保險 and 行業屬性

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9193-9193 子屬性 信貸中介及相關活動 and 金融和保險
No TPTP formula. May not be expressible in strict first order. naics.kif 9528-9528 子屬性 資助信託和其他金融工具 and 金融和保險
No TPTP formula. May not be expressible in strict first order. naics.kif 9417-9417 子屬性 保險公司及相關活動 and 金融和保險
No TPTP formula. May not be expressible in strict first order. naics.kif 9187-9187 子屬性 貨幣當局中央銀行 and 金融和保險
No TPTP formula. May not be expressible in strict first order. naics.kif 9320-9320 子屬性 證券商品合約及其他金融投資及相關活動 and 金融和保險
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23726-23726
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23725-23725
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23724-23724


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