|
|
  CreditIntermediationAndRelatedActivities
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9195-9197 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9193-9193 | Credit intermediation and related activities is a subattribute of finance and insurance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9289-9289 | Activities related to credit intermediation is a subattribute of credit intermediation and related activities |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9199-9199 | Depository credit intermediation is a subattribute of credit intermediation and related activities |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9230-9230 | Nondepository credit intermediation is a subattribute of credit intermediation and related activities |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17766-17766 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17765-17765 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17764-17764 |
|
|
|