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 |
Marine cargo handling is a subattribute of support activities for water transportation |