![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9372-9374 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9370-9370 | OtherFinancialInvestmentActivities est un sous-attribut de SecuritiesCommodityContractsAndOtherFinancialInvestmentsAndRelatedActivities |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9396-9396 | AllOtherFinancialInvestmentActivities est un sous-attribut de OtherFinancialInvestmentActivities |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9390-9390 | InvestmentAdvice est un sous-attribut de OtherFinancialInvestmentActivities |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9376-9376 | MiscellaneousIntermediation est un sous-attribut de OtherFinancialInvestmentActivities |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9384-9384 | PortfolioManagement est un sous-attribut de OtherFinancialInvestmentActivities |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42990-42990 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42989-42989 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42988-42988 |
![]() |
![]() |