No TPTP formula. May not be expressible in strict first order. |
naics.kif 8634-8637 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11398-11398 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10111-10111 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11397-11397 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8632-8632 |
MarineCargoHandling est un sous-attribut de SupportActivitiesForWaterTransportation |