|
|
  SupportActivitiesForTransportation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8571-8573 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8569-8569 | Support activities for transportation is an instance of industry attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8675-8675 | Freight transportation arrangement is a subattribute of support activities for transportation |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8681-8681 | Other support activities for transportation is a subattribute of support activities for transportation |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8577-8577 | Support activities for air transportation is a subattribute of support activities for transportation |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8613-8613 | Support activities for rail transportation is a subattribute of support activities for transportation |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8654-8654 | Support activities for road transportation is a subattribute of support activities for transportation |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8619-8619 | Support activities for water transportation is a subattribute of support activities for transportation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56209-56209 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56208-56208 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56207-56207 |
|
|
|