![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8683-8685 | |
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 |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8693-8693 | All other support activities for transportation is a subattribute of other support activities for transportation |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8687-8687 | Packing and crating is a subattribute of other support activities for transportation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43536-43536 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43535-43535 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43534-43534 |
![]() |
![]() |