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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SecuritiesCommodityContractsAndOtherFinancialInvestmentsAndRelatedActivities

Sigma KEE - SecuritiesCommodityContractsAndOtherFinancialInvestmentsAndRelatedActivities
SecuritiesCommodityContractsAndOtherFinancialInvestmentsAndRelatedActivities(證券商品合約及其他金融投資及相關活動)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9322-9326
No TPTP formula. May not be expressible in strict first order. naics.kif 9320-9320 子屬性 證券商品合約及其他金融投資及相關活動 and 金融和保險

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9370-9370 子屬性 其他金融投資活動 and 證券商品合約及其他金融投資及相關活動
No TPTP formula. May not be expressible in strict first order. naics.kif 9328-9328 子屬性 證券和商品合約中介和經紀 and 證券商品合約及其他金融投資及相關活動
No TPTP formula. May not be expressible in strict first order. naics.kif 9364-9364 子屬性 證券和商品交易所 and 證券商品合約及其他金融投資及相關活動
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51909-51909
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51908-51908
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51907-51907


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