No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 947-947 |
O contra-dominio de PortFacilityFn e' uma instancia de PortFacility |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 908-908 |
DeepwaterPort e' uma sub-classe de PortFacility |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46730-46730 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46729-46729 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46728-46728 |
|