vesselDeadWeightTonnage |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2537-2542 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2534-2534 | O argumento numero 1 de vesselDeadWeightTonnage e' uma instancia de WaterVehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2535-2535 | O argumento numero 2 de vesselDeadWeightTonnage e' uma instancia de Medida de Massa |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2533-2533 | vesselDeadWeightTonnage e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2536-2536 | vesselDeadWeightTonnage e' uma sub-relacao de vesselDisplacement |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2587-2587 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2586-2586 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2585-2585 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61574-61574 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61573-61573 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61572-61572 |