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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InvestmentBankingAndSecuritiesDealing

Sigma KEE - InvestmentBankingAndSecuritiesDealing
InvestmentBankingAndSecuritiesDealing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9337-9341
No TPTP formula. May not be expressible in strict first order. naics.kif 9335-9335 InvestmentBankingAndSecuritiesDealing est un sous-attribut de SecuritiesAndCommodityContractsIntermediationAndBrokerage

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30883-30883
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30882-30882
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30881-30881


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