No TPTP formula. May not be expressible in strict first order. |
naics.kif 8061-8061 |
LineHaulRailroads e' um sub-atributo de RailTransportation |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8067-8067 |
ShortLineRailroads e' um sub-atributo de RailTransportation |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48658-48658 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48657-48657 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48656-48656 |
|