No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 947-947 |
Le domaine de PortFacilityFn est une instance de PortFacility |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 908-908 |
DeepwaterPort est une sous-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 |
|