No TPTP formula. May not be expressible in strict first order. | Transportation.kif 837-837 | PortCity e' uma sub-classe de Cidade |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 852-852 | RiverPort e' uma sub-classe de PortCity |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 868-868 | SeaPort e' uma sub-classe de PortCity |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 884-884 | ContainerPort e' uma sub-classe de PortCity |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 887-887 | DeepDraftPort e' uma sub-classe de PortCity |