No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2991-2992 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9652-9652 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8705-8705 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2989-2989 |
ShipBerth e' uma sub-classe de PortFacility |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2988-2988 |
ShipBerth e' uma sub-classe de Area Aquatica |