No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2482-2482 | OceanLiner e' uma sub-classe de PassengerShip |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2483-2483 | OceanLiner e' uma sub-classe de CargoShip |