No TPTP formula. May not be expressible in strict first order. |
naics.kif 8233-8233 |
InlandWaterFreightTransportation e' um sub-atributo de InlandWaterTransportation |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8240-8240 |
InlandWaterPassengerTransportation e' um sub-atributo de InlandWaterTransportation |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30175-30175 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30174-30174 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30173-30173 |
|