| InsuranceCarriers
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9425-9427 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8541-8541 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9423-9423 | InsuranceCarriers e' um sub-atributo de InsuranceCarriersAndRelatedActivities |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9450-9450 | DirectInsuranceExceptLifeHealthAndMedicalCarriers e' um sub-atributo de InsuranceCarriers |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9429-9429 | DirectLifeHealthAndMedicalInsuranceCarriers e' um sub-atributo de InsuranceCarriers |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9480-9480 | ReinsuranceCarriers e' um sub-atributo de InsuranceCarriers |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30319-30319 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30318-30318 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30317-30317 |
|
|
|