SecuritiesAndCommodityContractsIntermediationAndBrokerage |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9330-9333 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9328-9328 | SecuritiesAndCommodityContractsIntermediationAndBrokerage e' um sub-atributo de SecuritiesCommodityContractsAndOtherFinancialInvestmentsAndRelatedActivities |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9357-9357 | CommodityContractsBrokerage e' um sub-atributo de SecuritiesAndCommodityContractsIntermediationAndBrokerage |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9350-9350 | CommodityContractsDealing e' um sub-atributo de SecuritiesAndCommodityContractsIntermediationAndBrokerage |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9335-9335 | InvestmentBankingAndSecuritiesDealing e' um sub-atributo de SecuritiesAndCommodityContractsIntermediationAndBrokerage |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9343-9343 | SecuritiesBrokerage e' um sub-atributo de SecuritiesAndCommodityContractsIntermediationAndBrokerage |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51893-51893 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51892-51892 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51891-51891 |