|
|
  OtherInsuranceRelatedActivities
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9502-9504 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9500-9500 | OtherInsuranceRelatedActivities est un sous-attribut de AgenciesBrokeragesAndOtherInsuranceRelatedActivities |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9520-9520 | AllOtherInsuranceRelatedActivities est un sous-attribut de OtherInsuranceRelatedActivities |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9506-9506 | ClaimsAdjusting est un sous-attribut de OtherInsuranceRelatedActivities |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9513-9513 | ThirdPartyAdministrationOfInsuranceAndPensionFunds est un sous-attribut de OtherInsuranceRelatedActivities |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43140-43140 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43139-43139 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43138-43138 |
|
|
|